jaspervdj / turnstyle
Turnstyle is a graphical esoteric programming language based on lambda calculus
☆79Updated 5 months ago
Alternatives and similar repositories for turnstyle:
Users that are interested in turnstyle are comparing it to the libraries listed below
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆99Updated this week
- A pure type system implemented in OCaml☆78Updated 4 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Programming with pure lambda calculus☆102Updated this week
- ⛳ Sokoban game in 10 lines of Haskell☆27Updated 2 years ago
- Functional choreographic programming in Haskell☆91Updated 3 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last month
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆39Updated 4 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆29Updated last year
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Kempe is a compiled stack-based language☆58Updated 5 months ago
- ☆41Updated last year
- A cross-platform driver for Tauri in Haskell☆50Updated 8 months ago
- ☆34Updated 11 months ago
- 🧊 An indexed construction of semi-simplicial and semi-cubical types☆28Updated last week
- ☆24Updated 7 months ago
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- Demo for dependent types + runtime code generation☆66Updated last month
- A relational interpretation of Lojban☆33Updated last month
- A dependently typed programming language with direct style effects and linearity☆19Updated 7 months ago
- Fast equality saturation in Haskell☆83Updated last month
- A library for building bots compositionally.☆46Updated last week
- koneko - a concatenative not-quite-lisp for kittens☆23Updated 6 months ago
- A template for you to implement Hazelnut yourself☆21Updated 2 months ago
- Absal ex☆57Updated last year
- A bidirectional type checker☆61Updated 7 years ago
- A toy dependent typed language.☆28Updated 3 weeks ago