Alternatives and similar repositories for turnstyle:

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

• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆90Updated 2 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆48Updated 7 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆33Updated 2 weeks ago
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆91Updated this week
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆97Updated this week
• cdupont / Timeloop
  ☆41Updated last year
• matthunz / view-monad
  ☆24Updated 6 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• hazelgrove / diy-hazelnut
  A template for you to implement Hazelnut yourself
  ☆21Updated last month
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆34Updated 8 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• jkoppel / ecta
  ☆34Updated 10 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆28Updated 7 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated this week
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 5 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆41Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 7 years ago
• glebec / left-recursion
  Quick explanation of eliminating left recursion in Haskell parsers
  ☆48Updated 3 years ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆66Updated 2 months ago
• marcosh / crem
  Compositional Representable Executable Machines
  ☆110Updated 2 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆34Updated 3 weeks ago
• gelisam / klister
  an implementation of stuck macros
  ☆138Updated this week
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated 2 years ago