synergistics / chemlambda-hask
A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for chemlambda-hask
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- A proof that Idris is pacman complete☆8Updated 7 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Vector & affine spaces, linear maps, and derivatives☆46Updated 3 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 4 years ago
- sliding fast fourier transform using haskell streaming☆13Updated 5 years ago
- ☆23Updated 7 years ago
- Linear map categories in Agda☆5Updated last year
- Symbolic logic expressions☆14Updated 4 years ago
- The Elements of Statistical Learning in Haskell☆12Updated 6 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- Clifford algebra for Haskell! :D☆15Updated 10 years ago
- Interpreter for functional pure type systems.☆21Updated 7 years ago
- Typed DSLs for sorting☆19Updated 6 years ago
- Type-level assertion operators☆16Updated 6 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆19Updated last week
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Vector builder☆15Updated 11 months ago
- Term Rewriting Systems☆17Updated 9 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 7 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- Reification of data structures using observable sharing☆28Updated 3 weeks ago
- Austin's supercompiler work☆21Updated 5 years ago