Kerl13
https://git.eleves.ens.fr/mpepin https://bitbucket.org/MartinPepin/ https://gitlab.com/Kerl
Caen, France
Pinned Repositories
arbogen
a fast uniform random tree generator
ANSIToHTML
Converter from ANSI to HTML
AsciiMath
Compiler from asciimath to LaTeX
combination_unranking
Comparison of lexicographic unranking algorithms of combinations (subsets of size k of {0, 1, 2, …, n-1})
GHA
GitHub Announcer for IRC
randdag
Counting and uniform random generation of several classes of DAGs
rustre
Compiler from a subset of Lustre to Rust
tree-sitter-menhir
Menhir grammar for tree-sitter
Kerl13's Repositories
Kerl13/AsciiMath
Compiler from asciimath to LaTeX
Kerl13/tree-sitter-menhir
Menhir grammar for tree-sitter
Kerl13/randdag
Counting and uniform random generation of several classes of DAGs
Kerl13/combination_unranking
Comparison of lexicographic unranking algorithms of combinations (subsets of size k of {0, 1, 2, …, n-1})
Kerl13/GHA
GitHub Announcer for IRC
Kerl13/rustre
Compiler from a subset of Lustre to Rust
Kerl13/ANSIToHTML
Converter from ANSI to HTML
Kerl13/arbogen
a fast uniform random tree generator
Kerl13/bat
A cat(1) clone with wings.
Kerl13/boltzmann-brain
Analytic sampler compiler for combinatorial systems
Kerl13/boltzmann-experiments
Some experiments on Boltzmann sampling
Kerl13/django-constance
Dynamic Django settings.
Kerl13/hyde-hyde
A cool theme inspired by spf13's Hyde theme
Kerl13/ibst
Interval Binary Search Trees
Kerl13/language-menhir
Menhir language support in Atom
Kerl13/MrPython
A simplified programming environment for Python (3.x) - based on IDLE
Kerl13/NonTransitiveDice
An implementation of the non transitive dice problem in swi-prolog
Kerl13/nvim-treesitter
Nvim Treesitter configurations and abstraction layer
Kerl13/ocaml-doctest
A similar framework to Python's doctest for OCaml
Kerl13/paganini
Multiparametric tuner for combinatorial specifications
Kerl13/pandoc_boilerplate
A boilerplate to write scientific documents in Markdown using Pandoc.
Kerl13/pretex
A little compiler from an alternative version of LaTeX's mathematics to LaTeX
Kerl13/PSTL-Tri-optimise
Test et implémentation de plusieurs algorithmes de tri en vue de trouver un successeur au TimSort
Kerl13/repostatus
Check that everything has been committed and pushed and the end of the day
Kerl13/RichStr
Easy `__str__` definitions in python
Kerl13/signal-weechat
Use signal in weechat
Kerl13/stdlib-shims
Shims for forward-compatibility between versions of the OCaml standard library
Kerl13/variations