rreusser / explorationsLinks
Code dump, for now
☆24Updated 2 years ago
Alternatives and similar repositories for explorations
Users that are interested in explorations are comparing it to the libraries listed below
Sorting:
- A Javascript port of the Versor Geometric Algebra library☆109Updated 10 years ago
- Books that makes heavy use of visuals for scientific communication☆169Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- WASM builds of the Z3 SMT solver☆151Updated 6 years ago
- A simple raytracer written in Lean 4☆143Updated last year
- Real number computation software☆129Updated 3 years ago
- Conformally map the hyperbolic plane to arbitrary shapes.☆65Updated 2 years ago
- An interactive theorem prover for string diagrams☆124Updated last year
- A curated list of geometric algebra resources☆136Updated last month
- Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations☆54Updated 5 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆85Updated 4 years ago
- Drawing cohomology fractals with the GPU.☆53Updated 10 months ago
- ☆205Updated 3 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- A gamification of the theorems in MATH40002 Analysis 1☆83Updated 3 years ago
- a datastructure for scalable combinatorial syntax☆20Updated 11 months ago
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 5 years ago
- Short essays I've written☆79Updated 2 years ago
- Haskell implementation of open games☆183Updated last year
- Exploring Möbius transformations and implementing the book Indra's Pearls☆42Updated last year
- Perfectoid spaces in the Lean formal theorem prover.☆129Updated last year
- Lean Library currently studying for a degree at Imperial College☆229Updated 11 months ago
- Matroids in Lean☆18Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆65Updated 6 years ago
- An elegant implementation of discrete diffgeo in haskell☆34Updated 6 years ago
- Course notes for Pure Mathematics Topic D 2019☆53Updated 5 years ago
- A framework for generative art.☆59Updated 5 years ago
- A Rust/WASM implementation of homotopy.io☆113Updated this week
- ☆165Updated 6 years ago