Kerl13

AsciiMath

Compiler from asciimath to LaTeX

tree-sitter-menhir

Menhir grammar for tree-sitter

randdag

Counting and uniform random generation of several classes of DAGs

combination_unranking

Comparison of lexicographic unranking algorithms of combinations (subsets of size k of {0, 1, 2, …, n-1})

GHA

GitHub Announcer for IRC

rustre

Compiler from a subset of Lustre to Rust

ANSIToHTML

Converter from ANSI to HTML

arbogen

a fast uniform random tree generator

bat

A cat(1) clone with wings.

boltzmann-brain

Analytic sampler compiler for combinatorial systems

boltzmann-experiments

Some experiments on Boltzmann sampling

django-constance

Dynamic Django settings.

hyde-hyde

A cool theme inspired by spf13's Hyde theme

ibst

Interval Binary Search Trees

language-menhir

Menhir language support in Atom

MrPython

A simplified programming environment for Python (3.x) - based on IDLE

NonTransitiveDice

An implementation of the non transitive dice problem in swi-prolog

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

ocaml-doctest

A similar framework to Python's doctest for OCaml

paganini

Multiparametric tuner for combinatorial specifications

pandoc_boilerplate

A boilerplate to write scientific documents in Markdown using Pandoc.

pretex

A little compiler from an alternative version of LaTeX's mathematics to LaTeX

PSTL-Tri-optimise

Test et implémentation de plusieurs algorithmes de tri en vue de trouver un successeur au TimSort

repostatus

Check that everything has been committed and pushed and the end of the day

RichStr

Easy `__str__` definitions in python

signal-weechat

Use signal in weechat

stdlib-shims

Shims for forward-compatibility between versions of the OCaml standard library

variations