Loutr_'s repositories
helix
A post-modern modal text editor.
Language:RustMPL-2.0000
nixpkgs
Nix Packages collection & NixOS
Language:NixMIT000
zipperposition
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Language:OCamlBSD-2-Clause000