synergistics / chemlambda-haskLinks
A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
☆12Updated 8 years ago
Alternatives and similar repositories for chemlambda-hask
Users that are interested in chemlambda-hask are comparing it to the libraries listed below
Sorting:
- machine fusion☆16Updated 6 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆22Updated last week
- Dependently typed elimination functions using singletons☆28Updated 7 months ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆13Updated 7 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Updated 7 years ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Bring fusion to everyone☆13Updated 5 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- An attempt to formalize unix cat in fiat☆12Updated 8 years ago
- Closure calculus implementation☆12Updated 6 years ago
- Reification of data structures using observable sharing☆29Updated 9 months ago
- topos programming☆31Updated 6 years ago
- An embedded probabilistic programming language.☆34Updated 8 years ago
- Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff☆14Updated 7 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10Updated 8 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆27Updated last year
- Austin's supercompiler work☆21Updated 5 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- The Elements of Statistical Learning in Haskell☆13Updated 7 years ago
- A hack to find types in Haskell codebases☆10Updated 9 years ago
- Haskell numerical ODE solvers☆14Updated 7 years ago
- Type-level assertion operators☆16Updated 7 years ago
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Updated 3 years ago