batterseapower / latticesLinks
Fine-grained lattice primitives for Haskell
☆18Updated 7 years ago
Alternatives and similar repositories for lattices
Users that are interested in lattices are comparing it to the libraries listed below
Sorting:
- A type theory based theorem proving library☆25Updated 14 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 7 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Interactive-diagrams☆39Updated 10 years ago
- Timing attack resistant type systems☆24Updated 10 years ago
- Symbolic logic expressions☆14Updated 5 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Yet another concurrent playground☆33Updated 9 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Updated 10 years ago
- Succinct vectors☆20Updated 6 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- Cloud Haskell - Asynchronous Execution☆18Updated 11 months ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- Combinatorial species in HoTT☆12Updated 10 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- IHaskell notebooks showing how Haskell can be used in Astronomy.☆23Updated 10 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago
- topos programming☆31Updated 6 years ago
- TODO☆23Updated 9 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- Agda-style equational reasoning in Haskell☆54Updated 4 months ago
- A formalization of finite, constructive log analysis using linear temporal logic☆22Updated last week
- your dynamic optimization buddy☆27Updated 5 years ago
- DIY Markov Chains.☆25Updated 9 months ago