Alternatives and similar repositories for infer

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

• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 3 months ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆43Updated 9 years ago
• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 3 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 6 years ago
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆36Updated 2 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆104Updated last year
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• tomstuart / kanren
  An example Ruby implementation of μKanren.
  ☆23Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mcimini / Gradualizer
  Supporting tool for Gradual Typing
  ☆16Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 11 years ago
• diku-kmc / kleenexlang
  The Kleenex programming language
  ☆56Updated last year
• ammkrn / nanoda
  A type checker for the Lean theorem prover
  ☆40Updated 4 years ago
• graydon / z3-rs
  ☆24Updated 7 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 4 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• kmicinski / cmsc330examples
  Examples from the class CMSC 330 during Summer 2015
  ☆49Updated 10 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 4 years ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 2 months ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• jbclements / rust-redex
  A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
  ☆24Updated 11 years ago
• wartmanm / rust-kanren
  A miniKanren implementation in Rust
  ☆37Updated 9 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆23Updated 4 years ago