Popular repositories Loading

1. math-from-nothing math-from-nothing Public

   Developing mathematics in Coq from the ground up

   Coq 18 1

2. ganim ganim Public

   A math animation engine based on geometric algebra

   C++ 17

3. nintendo_translations nintendo_translations Public

   Providing "translation scripts" for some old Nintendo games

   Lua 8 1

4. sga sga Public

   A basic, sparse, and decently efficient geometric algebra library in C++

   C++ 7

5. reconstruction reconstruction Public

   This is an ImageJ2 plugin to perform numerical propagation with a wide range of features on stacks of holograms.

   Java 3

6. phase-unwrapping phase-unwrapping Public

   This is a package for ImageJ2 to perform phase unwrapping, particularly on the phase images produced by DHM.

   Java 2