Popular repositories Loading

1. algnuth algnuth Public

   Forked from louisabraham/algnuth

   Algebraic Number Theory package

   Python

2. 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

3. turbomachine-designer turbomachine-designer Public

   Forked from OpenOrion/turbodesigner

   the open-source turbomachinery designer

   Python

4. agda-lang agda-lang Public

   Forked from agda/agda

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

   Haskell

5. maxima-cas maxima-cas Public

   Forked from calyau/maxima

   Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)

   Common Lisp

6. lean-perfectoid-spaces lean-perfectoid-spaces Public

   Forked from leanprover-community/lean-perfectoid-spaces

   Perfectoid spaces in the Lean formal theorem prover.

   Lean