Pinned Repositories
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
BigNum
bug-command-vscoq.nvim
try to reproduce a command bug with vscoq.nvim
cv
Jeremy Damour cv
docker-framac
Frama-C, Why3 and some SMT solvers in a multi architecture docker image
dotfiles
My Dotfiles based on nixos
dotfiles-2
Dotfiles
home-manager
Manage a user environment using Nix [maintainer=@rycee]
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
labyrinthus
Maze contest
start974's Repositories
start974/alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
start974/BigNum
start974/cv
Jeremy Damour cv
start974/docker-framac
Frama-C, Why3 and some SMT solvers in a multi architecture docker image
start974/dotfiles
My Dotfiles based on nixos
start974/dotfiles-2
Dotfiles
start974/home-manager
Manage a user environment using Nix [maintainer=@rycee]
start974/hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
start974/labyrinthus
Maze contest
start974/PI-aproximation
Approximation of PI inspired by archimede method
start974/Python-exercice
Pyhton exercices code
start974/raytracing-ascii
Raytracing in ocaml with an output in ascii
start974/start-lang
Fonctional language prooved
start974/vscoq.nvim
A Neovim client for VsCoq 2 vscoqtop.