Lasse Blaauwbroek's repositories
000
coq-elpi
Coq plugin embedding elpi
LGPL-2.1000
slate
Slate is a Jekyll theme for GitHub Pages
CC0-1.0000
embed-like-gist
Embed a file from Github repository just like Github Gist.
MIT000
minimal
Minimal is a Jekyll theme for GitHub Pages
CC0-1.0000
websockets
Library for building WebSocket servers and clients in Python
BSD-3-Clause000
nixpkgs
Nix Packages collection
Language:NixNOASSERTION000