Luc Chabassier's repositories
arkenfox-nixos
Utilities to use arkenfox/user.js in NixOS
commutative-diagrams
A coq plugin to deal with commutative diagrams
base16-schemes-source
A common list of schemes for base16-builders
base16-tomorrow-scheme
Tommorow scheme for base16
categories-in-lp
Experiments with category theory in LambdaPi
coq-hott-nix
Nix package of coq HoTT library
CV
My CV
django-nixos
NixOS/NixOps configuration for Django
doom-nvim
A Neovim configuration for the advanced martian hacker
ett-in-lambdapi
Formalisation of ETT in the lambda pi proof assistant.
gunicorn
gunicorn 'Green Unicorn' is a WSGI HTTP Server for UNIX, fast clients and sleepy applications.
home-manager
Manage a user environment using Nix [maintainer=@rycee]
lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
mpri-2-39-hexahedral
Presentation of course
niv-util
Alternate `sources.nix` loader for niv
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
opam-repository
Main public package repository for opam, the source package manager of OCaml.
opam2nix
Generate nix expressions from opam packages
racket2nix
Take an info.rkt file, produce a info.nix file.
StageM2Report
Report for my M2 internship