loutr

I moved :)

France

Pinned Repositories

zenith
Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage
Language:Rust2.6k 25 9067
cage
A Wayland kiosk
Language:C1.1k 24 22976
helix
A post-modern modal text editor.
Language:Rust00
nixpkgs
Nix Packages collection & NixOS
Language:Nix00
packages
Packages for Typst.
Language:Rust10
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:OCaml00
nixpkgs
Nix Packages collection & NixOS
Language:Nix17.2k 281 40.4k13.5k
proost
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
Language:Rust26 3 02
transmission
Official Transmission BitTorrent client repository
Language:C++12k 217 3.3k1.2k
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:Rust32.4k 83 2.4k868

loutr's Repositories

loutr/packages
Packages for Typst.
Language:Rust10
loutr/helix
A post-modern modal text editor.
Language:Rust00
loutr/nixpkgs
Nix Packages collection & NixOS
Language:Nix00
loutr/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:OCaml00