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
  ☆99Updated this week
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 4 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆102Updated this week
• cole-k / call-by-push-block
  ⛳ Sokoban game in 10 lines of Haskell
  ☆27Updated 2 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆91Updated 3 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last month
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 5 months ago
• cdupont / Timeloop
  ☆41Updated last year
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆50Updated 8 months ago
• jkoppel / ecta
  ☆34Updated 11 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆28Updated last week
• matthunz / view-monad
  ☆24Updated 7 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated last month
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated last month
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 7 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆83Updated last month
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆46Updated last week
• obfusk / koneko
  koneko - a concatenative not-quite-lisp for kittens
  ☆23Updated 6 months ago
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated 2 months ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• samuela / bidirectional-typing
  A bidirectional type checker
  ☆61Updated 7 years ago
• dunhamsteve / newt
  A toy dependent typed language.
  ☆28Updated 3 weeks ago