Stars
Clifford Algebra, Geometric Calculus, and Information Geometry in Wasm with GPU support.
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
[Experimental] A fast, friendly linter for JavaScript, TypeScript, and more. ❤️🔥
Blueprint for the PNT+ Project
On-the-fly generator of space-group irreducible representations
Algorithms in computational algebra written in rust
Rust bindings to the congress.gov REST API
Examples illustrating effective use of Benchify. Also, a playground for us to test out new/unusual use-cases ...
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Hyper optimized contraction trees for large tensor networks and einsums
A Rust framework for correct and performant distributed systems
A project to digitalise results from physics into Lean.
The root repository for the SpectralSequences project.
A project to map out the relations between different equational theories of Magmas.
Statically assert that a type matches another type
Simple constructor generator for named structures
Model and represent Simplicial Complexes and their Cochains. Provides a clean interface to calculate Betti numbers and (discrete) Hodge decompositions.
A package for defining deep learning models using categorical algebraic expressions.