Alternatives and similar repositories for jaam:

Users that are interested in jaam are comparing it to the libraries listed below

• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 8 years ago
• DavePearce / FeatherweightRust
  Provides a reference implementation of FeatherweightRust in Java.
  ☆14Updated 3 years ago
• ilyasergey / plt-redex-fj
  A PLT Redex implementation of Featherweight Java
  ☆15Updated 12 years ago
• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆34Updated last month
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 12 years ago
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 years ago
• acieroid / scala-am
  (Abstract) Abstract Machine Experiments using Scala
  ☆34Updated 4 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• ilya-klyuchnikov / ttlite
  A SuperCompiler for Martin-Löf's Type Theory
  ☆120Updated 3 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• hephaestus-pl / coqfj
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Updated 6 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• nuprl / gradual-typing-performance
  ☆10Updated 6 years ago
• namin / dafny-sandbox
  Dafny for Metatheory of Programming Languages
  ☆25Updated 2 months ago
• epfl-lara / SystemFR
  System FR: Formalized Foundations for Stainless
  ☆9Updated 3 years ago
• jandom-devel / Jandom
  An abstract-interpretation based static analyzer written in Scala.
  ☆33Updated 3 years ago
• SIGPLAN / SIGPLAN.github.io
  SIGPLAN website
  ☆11Updated this week
• JoeyEremondi / GDTL-artifact
  A Gradual Dependently-typed Language
  ☆14Updated 5 years ago
• coq-io / hello-world
  A Hello World program in Coq.
  ☆17Updated 2 years ago
• owo-lang / MLPolyR
  The MLPolyR programming language, revived
  ☆24Updated 4 years ago
• racket / algol60
  ☆12Updated last month
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• csabahruska / p4f-control-flow-analysis
  Haskell implementation of P4F Control-Flow Analysis
  ☆21Updated 2 years ago
• rocq-community / reglang
  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
  ☆42Updated last month
• JohnReppy / compiling-pattern-guards
  Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"
  ☆25Updated 2 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 4 months ago