Skip to content

Instantly share code, notes, and snippets.

View reyman's full-sized avatar
🐙

S. Rey-Coyrehourcq reyman

🐙
52 followers · 39 following
View GitHub Profile
@reyman
reyman / mkdocs-material.scm
Last active March 7, 2024 22:00
Latest mkdocs material for guix
(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
reyman / channels.scm
Last active November 29, 2022 09:48
(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
reyman / haskell-flake.nix
Last active November 23, 2021 11:57
{
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: {
@reyman
reyman / filters.lua
Created October 23, 2021 20:29
filter to get url from citeproc pandoc
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
reyman / nixos-install.sh
Last active August 29, 2020 19:38
#!/bin/bash
set -eux
hostname="xxx"
password="xxx"
diskdev=/dev/sda
rootpart=/dev/sda2
# -o clear
@reyman
reyman / html
Created April 3, 2020 09:24
<!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
reyman / gate_twitter_test.scala
Last active February 20, 2019 17:41
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
reyman / maze-bot-langage
Created November 5, 2018 13:31
[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
reyman / example_matrixBertin.csv
Last active August 2, 2018 16:02
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
@reyman
reyman / parse_yield.py
Created June 16, 2017 13:27
parse with yield from
airport_list = ["airport1", "airport2", "airport3", "airport4"]
def parse_page_departure(airport, next_url, page_urls):
print(airport, " / ", next_url)
if not page_urls:
return