Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Armael
A curated list of projects in awesome lists by Armael .
https://github.com/armael/papiers
A tool to index your papers/interesting links/... and quickly search through them
Last synced: 12 Nov 2024
https://github.com/armael/pp_loc
Pretty-printing for error source locations
Last synced: 12 Nov 2024
https://github.com/Armael/coq-procrastination
A small Coq library for collecting side conditions and deferring their proof
Last synced: 29 Nov 2024
https://github.com/armael/coq-procrastination
A small Coq library for collecting side conditions and deferring their proof
Last synced: 12 Nov 2024
https://github.com/armael/ocaml-i3ipc
A pure OCaml implementation of the i3 IPC protocol
Last synced: 12 Nov 2024
https://github.com/armael/stone
A simple static website generator, written in OCaml
Last synced: 12 Nov 2024
https://github.com/armael/ocaml-kittyimg
Implementation of kitty's terminal graphics protocol
Last synced: 12 Nov 2024
https://github.com/armael/pixels
a shared pixel display controllable via TCP
Last synced: 12 Nov 2024
https://github.com/armael/ocaml-loliwm
Translation of loliwm (https://github.com/Cloudef/loliwm) in OCaml
Last synced: 12 Nov 2024
https://github.com/Armael/ocaml-kittyimg
Implementation of kitty's terminal graphics protocol
Last synced: 21 Nov 2024
https://github.com/Armael/pixels
a shared pixel display controllable via TCP
Last synced: 21 Nov 2024
https://github.com/armael/tyxml-translator
A sugar-coated translation from HTML to Tyxml combinators
Last synced: 12 Nov 2024
https://github.com/armael/pong-matelight
A client-server pong game for the Mate-Light
Last synced: 12 Nov 2024
https://github.com/armael/ocaml-xkbcommon
OCaml bindings to xkbcommon [wip]
Last synced: 12 Nov 2024
https://github.com/armael/minicooper
A Coq tactic for quantifier elimination in linear arithmetic
Last synced: 12 Nov 2024
https://github.com/armael/batoptparse_example
An example illustrating the use of BatOptParse for command-line option parsing
Last synced: 12 Nov 2024
https://github.com/armael/voyageur
Implementation of a simple (and slow) algorithm for TSP. Readline interface.
Last synced: 12 Nov 2024
https://github.com/armael/ratruns
Un programme très simple permettant de lancer des commandes en utilisant les boutons de la souris
Last synced: 12 Nov 2024
https://github.com/armael/ocaml-sqlexpr-playground
Some toy examples using ocaml-sqlexpr
Last synced: 12 Nov 2024
https://github.com/armael/oroute
http://progdupeu.pl/forums/sujet/712/exercice-un-routeur-duri
Last synced: 12 Nov 2024
https://github.com/armael/o2engine
2D engine managing (only) balls, and missilecommand, a small game using it. In OCaml.
Last synced: 12 Nov 2024
https://github.com/armael/dp-sat
A SAT-solver based on the Davis Putnam algorithm
Last synced: 12 Nov 2024