acieroid / scala-am
(Abstract) Abstract Machine Experiments using Scala
☆33Updated 3 years ago
Related projects: ⓘ
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Solver for higher-order functional programs, used by Stainless☆88Updated last week
- Scala library for parsing and printing the SMT-LIB format☆44Updated last year
- DSL in Scala for Constraint Solving with Z3 SMT Solver☆122Updated last year
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Updated 3 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆62Updated 2 years ago
- ☆57Updated 7 years ago
- The Leon system for verification, synthesis, repair☆161Updated 6 months ago
- Dependent Object Types (DOT), bottom up☆83Updated 2 years ago
- Core components for the Scribble Java tools☆55Updated 3 years ago
- LL(1) parser combinators in Scala☆56Updated last year
- A Coq-based synthesis of Scala programs which are correct-by-construction☆79Updated 2 years ago
- Lightweight affine types and object capabilities in Scala☆31Updated 5 years ago
- Incremental Program Analysis Framework☆89Updated 3 years ago
- A Haskell parser for JVM bytecode files☆38Updated 8 months ago
- Kodkod solver for relational logic☆72Updated last year
- ☆54Updated last year
- a capability-based system☆40Updated 6 years ago
- generative programming & verification☆30Updated 2 years ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Updated 6 months ago
- Extensible stream pipelines with object algebras.☆26Updated 9 years ago
- Interprocedural Static Analysis Engine for Scala☆19Updated 11 years ago
- GAPT: General Architecture for Proof Theory☆94Updated last week
- Staged Abstract Interpreters☆64Updated last year
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 2 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆32Updated 7 years ago
- an exploration of subtyping-based category theory in scala☆24Updated 13 years ago
- System FR: Formalized Foundations for Stainless☆9Updated 2 years ago