jaspervdj / turnstyleLinks
Turnstyle is a graphical esoteric programming language based on lambda calculus
☆80Updated 8 months ago
Alternatives and similar repositories for turnstyle
Users that are interested in turnstyle are comparing it to the libraries listed below
Sorting:
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆52Updated 4 months ago
- A template for you to implement Hazelnut yourself☆22Updated 2 weeks ago
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆107Updated this week
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Functional choreographic programming in Haskell☆94Updated last week
- Implementing a small functional language with a combinator based graph-reduction machine☆31Updated last year
- Programming with pure lambda calculus☆109Updated 2 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 4 months ago
- The first ever roguelike written in the OCaml type system☆88Updated 2 months ago
- ☆41Updated last year
- LLM-powered typed-holes☆40Updated last month
- A cross-platform driver for Tauri in Haskell☆51Updated 11 months ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- ☆35Updated last year
- Notes on Functional Programming and related topics☆29Updated 3 years ago
- Reference counting with linear types☆31Updated 11 months ago
- A library for building bots compositionally.☆47Updated 3 months ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆29Updated 2 weeks ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- ☆15Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- A relational interpretation of Lojban☆33Updated this week
- A verified compiler for a lazy functional language☆36Updated last month
- Fast equality saturation in Haskell☆84Updated 4 months ago
- A structural editor for JSON values☆77Updated 2 years ago
- Book about using Lean with How To Prove It☆19Updated last week
- An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.☆21Updated 2 years ago