GaloisInc / jvm-verifier
The Java Symbolic Simulator, part of SAW.
☆10Updated 4 years ago
Alternatives and similar repositories for jvm-verifier:
Users that are interested in jvm-verifier are comparing it to the libraries listed below
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''☆10Updated 6 years ago
- Backtracking monad in Haskell☆14Updated 3 years ago
- Regular expressions of types☆16Updated 6 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Typed DSLs for sorting☆19Updated 7 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- Heyting Algebras in Haskell☆14Updated 2 years ago
- Compositional type checking for Haskell☆37Updated 13 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆20Updated 2 weeks ago
- Austin's supercompiler work☆21Updated 5 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- being the programs and code for a paper about general recursion☆25Updated 10 years ago
- x86-64 assembly as a Haskell EDSL☆36Updated 14 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Updated 7 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Semantics for Cryptol☆16Updated 6 years ago
- Render a log of cabal install as a graph☆10Updated 9 years ago
- Computing lenses generically using generics-sop☆16Updated 5 months ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Updated 8 years ago
- A tool for translating imperative programs to CSP.☆12Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- Proof checker for propositional logic☆16Updated 7 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago