fsestini / zsyntaxLinks
Automated theorem prover for a linear logic-based calculus for molecular biology.
☆12Updated 2 years ago
Alternatives and similar repositories for zsyntax
Users that are interested in zsyntax are comparing it to the libraries listed below
Sorting:
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- An implementation of a simple Neural network in Idris using category theory.☆23Updated 9 months ago
- Linear map categories in Agda☆5Updated 2 years ago
- Mathematical stories☆13Updated 4 years ago
- A typechecker for WebAssembly, written in Agda (WIP)