Loading contributions...
Top Repositories
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
A project to digitalise results from physics into Lean.
Transformations transformed
The UI framework for teams that move fast — without breaking things.
The math library of Lean 4
Repositories
99A project to digitalise results from physics into Lean.
Transformations transformed
The UI framework for teams that move fast — without breaking things.
The math library of Lean 4
Deep learning at the speed of light.
The rustic MLIR bindings in Rust
Framework for type-safe pure functional tensor processing, supporting non-cubical tensors
Summoner's core SDK for building and deploying agents
Testing flow matching in Euclidean space and Lie groups.
No description provided.
No description provided.
Hypergraph Exchange Format (HIF) definition and validator libraries
Algorithms in computational algebra written in rust
No description provided.
A collaborative environment for formal, interoperable, conceptual modeling
No description provided.
Empowering everyone to build reliable and efficient software.
Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids
No description provided.
Rust bindings to SciPy's special functions
No description provided.
No description provided.
Interval Tree Clocks & Extensions
E(2)-Equivariant CNNs Library for Pytorch
Edge-pushing Hessians.
IsraeliQueue
No description provided.
No description provided.
No description provided.
No description provided.