This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (use-modules | |
| (guix packages) | |
| (guix download) | |
| (guix profiles) | |
| (gnu packages python-build) | |
| (gnu packages python-web) | |
| (gnu packages python-check) | |
| (gnu packages check) | |
| (guix build-system python) | |
| (guix build-system pyproject) |
reyman
/ channels.scm
Last active
November 29, 2022 09:48
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (list (channel | |
| (name 'guix) | |
| (url "https://git.savannah.gnu.org/git/guix.git") | |
| (branch "master") | |
| (commit | |
| "ae820c317cef09a297e949911ebeb258a87ef912") | |
| (introduction | |
| (make-channel-introduction | |
| "9edb3f66fd807b096b48283debdcddccfea34bad" | |
| (openpgp-fingerprint |
reyman
/ haskell-flake.nix
Last active
November 23, 2021 11:57
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| description = "PandocProject"; | |
| inputs.haskellNix.url = "github:input-output-hk/haskell.nix"; | |
| inputs.nixpkgs.follows = "haskellNix/nixpkgs-unstable"; | |
| inputs.flake-utils.url = "github:numtide/flake-utils"; | |
| outputs = { self, nixpkgs, flake-utils, haskellNix }: | |
| flake-utils.lib.eachSystem [ "x86_64-linux" ] (system: | |
| let | |
| overlays = [ haskellNix.overlay | |
| (final: prev: { |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| local List = require 'pandoc.List' | |
| local utils = require 'pandoc.utils' | |
| local stringify = utils.stringify | |
| local run_json_filter = utils.run_json_filter | |
| local pretty_dump = require"pl.pretty".dump | |
| function isItALink (spc) |
reyman
/ nixos-install.sh
Last active
August 29, 2020 19:38
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| set -eux | |
| hostname="xxx" | |
| password="xxx" | |
| diskdev=/dev/sda | |
| rootpart=/dev/sda2 | |
| # -o clear |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <!doctype html> | |
| <html class="no-js" lang=""> | |
| <head> | |
| <meta charset="utf-8"> | |
| <title></title> | |
| <meta name="description" content=""> | |
| <meta name="viewport" content="width=device-width, initial-scale=1"> | |
| <link rel="manifest" href="site.webmanifest"> |
reyman
/ gate_twitter_test.scala
Last active
February 20, 2019 17:41
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import gate._ | |
| import gate.creole._ | |
| import gate.util.persistence._ | |
| import gate.corpora._ | |
| import scala.collection.JavaConverters._ | |
| import scala.collection.mutable.HashSet | |
| object TwitterPrototype extends App { |
reyman
/ maze-bot-langage
Created
November 5, 2018 13:31
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [CONSTANT] | |
| # PATH, NEIGHBOURS list are given by the maze bot | |
| COLOR BLACK;WHITE;BROWN;GREEN;RED;BLUE | |
| WAY BLOCKED;FREE | |
| [MAIN] | |
| COMPUTE_NEXT_MOVE | |
| UPDATE_PATH |
reyman
/ example_matrixBertin.csv
Last active
August 2, 2018 16:02
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Année | Ville | value | |
|---|---|---|---|
| 1970 | Oran | 1 | |
| 1972 | Oran | 5 | |
| 1973 | Oran | 5 | |
| 1974 | Oran | 5 | |
| 1975 | Oran | 5 | |
| 1976 | Oran | 5 | |
| 1977 | Oran | 2 | |
| 1978 | Oran | 2 | |
| 1979 | Oran | 5 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| airport_list = ["airport1", "airport2", "airport3", "airport4"] | |
| def parse_page_departure(airport, next_url, page_urls): | |
| print(airport, " / ", next_url) | |
| if not page_urls: | |
| return |
NewerOlder