Popular repositories Loading

1. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection

   Nix

2. dale dale Public

   Forked from tomhrr/dale

   Lisp-flavoured C

   C

3. mawled mawled Public

   Forked from tomhrr/mawled

   Tiling window manager

4. topology topology Public

   Forked from coq-community/topology

   General Topology

   Coq

5. zorns-lemma zorns-lemma Public

   Forked from coq-community/zorns-lemma

   This library develops some basic set theory. The main purpose I had in writing it was as support for the Topology library.

   Coq

6. oce oce Public

   Forked from tpaviot/oce

   Open CASCADE Community Edition: patches/improvements/experiments contributed by users over the official Open CASCADE library.

   C