Popular repositories Loading

1. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq 1

2. cl-sdl2-tutorials cl-sdl2-tutorials Public

   Forked from TatriX/cl-sdl2-tutorial

   SDL2 examples in Common Lisp based on Lazy Foo tutorials.

   Common Lisp 1

3. coq coq Public

   Forked from coq/coq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

4. HoTT-Agda HoTT-Agda Public

   Forked from HoTT/HoTT-Agda

   Development of homotopy type theory in Agda

   Agda

5. cellularAutomata cellularAutomata Public

   Forked from bollu/cellularAutomata

   a collection of cellular automata written in Haskell with Diagrams

   Haskell

6. spire spire Public

   Forked from typelevel/spire

   Powerful new number types and numeric abstractions for Scala.

   Scala