Alternatives and similar repositories for codeprober

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

• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 2 months ago
• diprism / perpl
  The PERPL Compiler
  ☆13Updated 2 weeks ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 4 months ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆143Updated 2 weeks ago
• wslee / duet
  ☆20Updated 6 months ago
• CatarinaGamboa / liquidjava
  ☆45Updated this week
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆18Updated 4 months ago
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 4 years ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆68Updated 2 years ago
• caballa / covenant
  A Tool for Intersecting Context-Free Grammars
  ☆10Updated 7 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆21Updated 3 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• ultimate-pa / smtinterpol
  SMTInterpol interpolating SMT solver
  ☆68Updated this week
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆52Updated this week
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆64Updated 2 months ago
• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 4 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last month
• laelath / well-typed-term-generator
  A OCaml generator for well-typed terms (that use their arguments).
  ☆10Updated 8 months ago
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆27Updated 3 years ago
• shriram / mystery-languages
  Mystery Languages
  ☆41Updated 2 years ago
• akrasuski1 / eusolver-priority
  Grammar prioritization support for EUSolver.
  ☆14Updated 6 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆80Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆62Updated 3 weeks ago
• cucapra / gator
  Geometry types
  ☆33Updated 4 years ago
• TermCOMP / TPDB
  The Termination Problem Database
  ☆29Updated 2 months ago
• desi-ivanov / agda-regexp-automata
  Formalization of Regular Languages in Agda: regular expressions, finite-state automata, proof of equivalence, proof of the pumping lemma.
  ☆18Updated 5 years ago