Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Niols
A curated list of projects in awesome lists by Niols .
https://github.com/niols/ocaml-irc
An IRC client and server library for OCaml
Last synced: 31 Oct 2024
https://github.com/niols/bang-bang
Duckduckgo's bangs outside of Duckduckgo
Last synced: 31 Oct 2024
https://github.com/niols/datatype.sh
Datatypes in Shell; because even the best language in the world lacks features sometimes.
Last synced: 31 Oct 2024
https://github.com/niols/toytomata
An executable and library to help with automata courses
Last synced: 31 Oct 2024
https://github.com/niols/thundermoderate
A Thunderbird plugin for mail moderation at the ENS.
Last synced: 31 Oct 2024
https://github.com/niols/gsoc17
Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder
java-pathfinder separation-logic symbolic-execution symbolic-pathfinder
Last synced: 31 Oct 2024
https://github.com/niols/nixpkg-mobilesheets-companion
Nix package for MobileSheets Companion
Last synced: 31 Oct 2024
https://github.com/niols/dev.scd.niols.fr
Development version of “Niols's Repository of (Mostly Unpublished) Scottish Country Dances”.
Last synced: 31 Oct 2024
https://github.com/niols/weechat-scripts
Weechat scripts, sometimes usefull.
gplv3 python weechat weechat-scripts
Last synced: 31 Oct 2024
https://github.com/niols/scd.niols.fr
Niols's Repository of (Mostly Unpublished) Scottish Country Dances
Last synced: 31 Oct 2024
https://github.com/niols/ocaml-next
Niols's Extended Standard Library (yet another one)
Last synced: 31 Oct 2024
https://github.com/niols/grav-plugin-pygments
Pygments' highlighting in Grav
Last synced: 31 Oct 2024
https://github.com/niols/ppx_monad
An OCaml Syntax Extension for all Monadic Syntaxes.
Last synced: 31 Oct 2024