Alternatives and similar repositories for bidir-scala

Users that are interested in bidir-scala are comparing it to the libraries listed below

• jclark / semtype

  View on GitHub
  Semantic subtype for the Ballerina programming language, implemented in Ballerina.
  ☆11May 27, 2021Updated 4 years ago
• michallepicki / suber

  View on GitHub
  Algebraic Subtyping typechecking algorithms implemented in Erlang
  ☆10Oct 13, 2021Updated 4 years ago
• samskivert / compose

  View on GitHub
  An experimental programming language.
  ☆19May 16, 2019Updated 6 years ago
• samuela / bidirectional-typing

  View on GitHub
  A bidirectional type checker
  ☆67Jun 19, 2017Updated 8 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking

  View on GitHub
  A Toy Inverse Bidirectional Typechecker
  ☆32May 13, 2019Updated 6 years ago
• pnwamk / sst-tutorial

  View on GitHub
  ☆18Nov 23, 2021Updated 4 years ago
• lexi-lambda / higher-rank

  View on GitHub
  A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
  ☆101May 9, 2017Updated 8 years ago
• lexi-lambda / racket-higher-rank

  View on GitHub
  ☆21May 9, 2017Updated 8 years ago
• sborrazas / shen-erl

  View on GitHub
  Erlang port of the Shen programming language
  ☆26Dec 16, 2019Updated 6 years ago
• soren-n / bidi-higher-rank-poly

  View on GitHub
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22May 20, 2021Updated 4 years ago
• nikomatsakis / bidir-type-infer

  View on GitHub
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Jun 1, 2016Updated 9 years ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• typedclojure / esop16

  View on GitHub
  Code to accompany ESOP 2016 paper
  ☆12Jan 31, 2016Updated 10 years ago
• wilbowma / experimenting-with-redex

  View on GitHub
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Oct 21, 2024Updated last year
• JimmyZJX / TypingFormalization

  View on GitHub
  ☆15Jun 26, 2019Updated 6 years ago
• yzyzsun / truffle-erlang

  View on GitHub
  Erlang implementation built on GraalVM/Truffle
  ☆15May 31, 2019Updated 6 years ago
• xnning / Dissertation

  View on GitHub
  My PhD Thesis
  ☆16Jan 4, 2022Updated 4 years ago
• kseo / poly_constraints

  View on GitHub
  Hindley-Milner type inference using constraints
  ☆50Jan 2, 2017Updated 9 years ago
• Typelixir / typelixir

  View on GitHub
  Compile Elixir statically
  ☆34Dec 19, 2020Updated 5 years ago
• kwanghoon / bidi

  View on GitHub
  bidirectional type checking algorithms for higher-ranked polymorphism
  ☆19Mar 23, 2022Updated 3 years ago
• kolmodin / herl

  View on GitHub
  Erlang BEAM emulator in Haskell
  ☆48Jun 14, 2014Updated 11 years ago
• michalmuskala / xref.rs

  View on GitHub
  Rust reimplementation of subset of Erlang's xref
  ☆15Nov 28, 2021Updated 4 years ago
• ThePuzzlemaker / tethys

  View on GitHub
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Mar 4, 2024Updated last year
• SimonJF / mbcheck

  View on GitHub
  Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"
  ☆20Jan 15, 2026Updated last month
• rowandavies / sml-cidre

  View on GitHub
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Jul 4, 2013Updated 12 years ago
• nikswamy / SafeTypeScript

  View on GitHub
  A type-safe dialect of TypeScript
  ☆26Oct 25, 2014Updated 11 years ago
• midas-framework / erlang_library_runtime

  View on GitHub
  A lightweight erlang runtime
  ☆21Feb 13, 2021Updated 5 years ago
• JDemler / BidirectionalTypechecking

  View on GitHub
  Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"
  ☆118Apr 6, 2019Updated 6 years ago
• blntk / sfpl

  View on GitHub
  A simple functional programming language.
  ☆22Jun 3, 2021Updated 4 years ago
• tominated / system_f_omega

  View on GitHub
  My Attempt at System Fω with Row-Polymorphism
  ☆30Jul 4, 2021Updated 4 years ago
• sile / erlls

  View on GitHub
  Erlang language server
  ☆25Dec 2, 2025Updated 2 months ago
• gertab / ElixirST

  View on GitHub
  Session Types in Elixir
  ☆48Sep 23, 2023Updated 2 years ago
• ymyzk / lambda-dti

  View on GitHub
  Interpreter of the ITGL with dynamic type inference
  ☆21Feb 24, 2025Updated 11 months ago
• atgeller / WASM-Redex

  View on GitHub
  A model of the WebAssembly language in Redex
  ☆21Mar 25, 2021Updated 4 years ago
• stonebuddha / tree-sitter-sml

  View on GitHub
  Standard ML Grammar for Tree-sitter
  ☆25Jan 14, 2022Updated 4 years ago
• owo-lang / MLPolyR

  View on GitHub
  The MLPolyR programming language, revived
  ☆25Oct 15, 2020Updated 5 years ago
• daanx / effect-bench

  View on GitHub
  Benchmarking algebraic effect handler implementations
  ☆27Jun 6, 2021Updated 4 years ago
• phaller / lacasa

  View on GitHub
  Lightweight affine types and object capabilities in Scala
  ☆32Feb 12, 2019Updated 7 years ago
• SimonJF / monitored-session-erlang

  View on GitHub
  Supervised Session Actors
  ☆22Jul 6, 2016Updated 9 years ago