Alternatives and similar repositories for infer

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

• kai-qu / knotation
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Updated 10 years ago
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆71Updated 2 weeks ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆43Updated 9 years ago
• tyehle / llvm-lambda
  A compiler for a simple language using llvm
  ☆35Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 11 months ago
• robsimmons / abbot
  Generation of abstract binding trees
  ☆27Updated 11 months ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 6 years ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 6 years ago
• hubris-lang / hubris
  A dependently typed programming language, and verification tool
  ☆27Updated 9 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
• bordaigorl / stargazer
  A simulator for visualising the evolution of π-calculus terms
  ☆42Updated 3 years ago
• LPTK / simpler-sub
  Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…
  ☆27Updated 3 years ago
• robdockins / edison
  Edison: A Library of Efficient Data Structures
  ☆56Updated 5 months ago
• cauterize-tools / cauterize
  Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.
  ☆46Updated 8 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• LightAndLight / sized-hkts
  Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
  ☆51Updated 8 months ago
• ilya-klyuchnikov / sc-mini
  SC Mini is a "minimal" positive supercompiler
  ☆46Updated 4 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 5 years ago
• brendanzab / elm-stlc
  Bidirectional type checker for the simply typed lambda calculus
  ☆15Updated 5 years ago
• ISANobody / sill
  ☆29Updated 10 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated last month
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• lostbearlabs / tiny-tlaplus-examples
  Very small examples of TLA+ features.
  ☆42Updated 6 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• hazelgrove / hazelnut-dynamics-agda
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Updated last year
• neel-krishnaswami / adjs
  Higher-order FRP compiler
  ☆15Updated 3 years ago