GaloisInc / jvm-parser
A Haskell parser for JVM bytecode files
☆38Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for jvm-parser
- Compositional type checking for Haskell☆36Updated 13 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- being the beginnings of at least zero typecheckers☆31Updated 7 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 9 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Updated 8 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆23Updated 8 years ago
- KU Leuven Haskell Compiler☆16Updated 3 years ago
- Inline, type safe X86-64 assembly programming in Agda☆66Updated 5 years ago
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- oleg modules☆30Updated 11 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- ET (IPL) language interpreters and literature☆26Updated 5 years ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 3 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- System F in coq.☆19Updated 9 years ago
- ☆18Updated 7 years ago