Pinned Loading

1. agda-lang agda-lang Public

   Forked from agda/agda

   Agda is a dependently typed programming language / interactive theorem prover.

   Haskell

2. algnuth algnuth Public

   Forked from louisabraham/algnuth

   Algebraic Number Theory package

   Python

3. blackhole-sim blackhole-sim Public

   Forked from physbuzz/blackhole-2015

   Legacy project for rendering a black hole. "There are many like it but this one is mine."

   C

4. jscoq jscoq Public

   Forked from jscoq/jscoq

   A port of Coq to Javascript -- Run Coq in your Browser

   TypeScript

5. lean-perfectoid-spaces lean-perfectoid-spaces Public

   Forked from leanprover-community/lean-perfectoid-spaces

   Perfectoid spaces in the Lean formal theorem prover.

   Lean

6. turbomachine-designer turbomachine-designer Public

   Forked from OpenOrion/turbodesigner

   the open-source turbomachinery designer

   Python