GaloisInc / jvm-verifier
The Java Symbolic Simulator, part of SAW.
☆10Updated 3 years ago
Related projects: ⓘ
- Symbolic logic expressions☆14Updated 4 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆21Updated 11 years ago
- Experiments in abstracting definitional interpreters☆16Updated 6 years ago
- Computing lenses generically using generics-sop☆15Updated 4 months ago
- Regular expressions of types☆16Updated 6 years ago
- library with a semiring class and some useful semirings☆11Updated 4 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Dependently typed elimination functions using singletons☆27Updated 3 months ago
- Proof checker for propositional logic☆16Updated 7 years ago
- ☆20Updated this week
- Haskell port of the Tensor Algebra COmpiler☆16Updated 4 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 5 years ago
- Typed DSLs for sorting☆19Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Auto-parallelizing Pure Functional Language☆27Updated 5 years ago
- A tool for translating imperative programs to CSP.☆10Updated 7 years ago
- Backtracking monad in Haskell☆14Updated 2 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆18Updated last week
- The Elements of Statistical Learning in Haskell☆12Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- ☆23Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 years ago