Hugo Moreau's repositories
tiger-syntax
Tiger compiler syntax vim-plugin
check_lines
A little python script to check lines in your c files.
csharp-notebook
Docker image for jupyter-notebook and C# usage
Language:Dockerfile000
000
libITS
Core Guarded Action Language and Instantiable Transition System semantics using libDDD.
Language:C++GPL-3.0000
nixpkgs
Nix Packages collection
Language:NixMIT000
pre-commit-hooks.nix
Seamless integration of https://pre-commit.com git hooks with Nix.
Language:NixApache-2.0000
Language:TeX000