Alternatives and similar repositories for turnstyle:

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

• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆97Updated this week
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 2 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last month
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆91Updated 3 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆48Updated last week
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆87Updated 2 weeks ago
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆27Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• Lysxia / advent-of-coq-2021
  ☆40Updated 3 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆27Updated this week
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last month
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 8 months ago
• duo-lang / duo-lang
  Duo - A research language exploring duality in programming language design
  ☆57Updated last year
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆46Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated 3 weeks ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 5 months ago
• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆83Updated 2 weeks ago
• cdupont / Timeloop
  ☆41Updated last year
• art-w / unicorn
  Purely functional GUI algebra
  ☆74Updated 2 years ago