Luc Chabassier

Utilities to use arkenfox/user.js in NixOS

My dotfile as managed by nix with home-manager

Personal wiki system

A coq plugin to deal with commutative diagrams

GNU Mach IPC mechanism examples

My CV

NixOS/NixOps configuration for Django

System-wide colorscheming and typography for NixOS

The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.

Notification system for x11 based system using xcb.

A Coq plugin to translate Coq proofs into Dedukti terms.

Take an info.rkt file, produce a info.nix file.

Alternate `sources.nix` loader for niv

Configure Neovim with Nix!

A Neovim configuration for the advanced martian hacker

Archive for all Coq related OPAM packages organized in various repositories

Main public package repository for opam, the source package manager of OCaml.

Implementation of a single camera based obstacle detection algorithm.

Nix package of coq HoTT library

Abstract interpretation for a small subset of C

Implementation of the λΠ-calculus modulo rewriting

Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"

Fork of the m9u music server from http://sqweek.net/code/m9u/

Nix Packages collection

gunicorn 'Green Unicorn' is a WSGI HTTP Server for UNIX, fast clients and sleepy applications.

Intelligent Multi-Agent Chores Scheduler

Manage a user environment using Nix [maintainer=@rycee]

Generate nix expressions from opam packages

Experiments with category theory in LambdaPi

Formalisation of ETT in the lambda pi proof assistant.