Ucombinator / jaam
JVM Abstracting Abstract Machine
☆25Updated 6 years ago
Alternatives and similar repositories for jaam:
Users that are interested in jaam are comparing it to the libraries listed below
- A PLT Redex implementation of Featherweight Java☆15Updated 12 years ago
- Optimizing Abstract Abstract Machines☆30Updated 7 years ago
- (Abstract) Abstract Machine Experiments using Scala☆34Updated 4 years ago
- generative programming & verification☆33Updated 3 years ago
- prototyping logic programming in Scala☆41Updated 2 years ago
- Luck -- A Language for Property-Based Generators☆34Updated 3 weeks ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 years ago
- A Haskell parser for JVM bytecode files☆38Updated last year
- Dafny for Metatheory of Programming Languages☆25Updated 2 months ago
- Staged Abstract Interpreters☆65Updated 2 years ago
- Provides a reference implementation of FeatherweightRust in Java.☆14Updated 3 years ago
- Generic implementation of different CFA families based on monadic decomposition☆21Updated 12 years ago
- Solver for higher-order functional programs, used by Stainless☆89Updated this week
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- "Toy" SMT Solver for Educational Purposes☆20Updated 11 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 7 years ago
- System FR: Formalized Foundations for Stainless☆9Updated 3 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- A Hello World program in Coq.☆17Updated 2 years ago
- Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding☆45Updated 9 years ago
- ☆55Updated last year
- Sturdy is a library for developing sound static analyses in Haskell.☆61Updated last year
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, …☆33Updated 10 years ago
- IntelliJ plugin for several experimental programming languages here☆35Updated 3 years ago
- Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoo…☆11Updated last year
- Formalization of the Dependent Object Types (DOT) calculus☆64Updated 2 years ago