Popular repositories Loading

1. hydra-battles hydra-battles Public

   Forked from coq-community/hydra-battles

   Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

   Coq

2. alectryon alectryon Public

   Forked from cpitclaudel/alectryon

   A collection of tools for writing technical documents that mix Coq code and prose.

   HTML

3. dotfiles dotfiles Public

   My Dotfiles based on nixos

   Lua

4. raytracing-ascii raytracing-ascii Public

   Raytracing in ocaml with an output in ascii

   OCaml

5. home-manager home-manager Public

   Forked from nix-community/home-manager

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

   Nix

6. cv cv Public

   Forked from Stavrospanakakis/jekyll-cv

   Jeremy Damour cv

   HTML