jaspervdj / turnstyle
Turnstyle is a graphical esoteric programming language based on lambda calculus
☆76Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for turnstyle
- Functional choreographic programming in Haskell☆80Updated last month
- A relational interpretation of Lojban☆32Updated last week
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Functional, expression-oriented data processing language☆81Updated this week
- Duo - A research language exploring duality in programming language design☆57Updated last year
- Kempe is a compiled stack-based language☆58Updated last month
- A Language with Dependent Data and Codata Types☆53Updated this week
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated 3 weeks ago
- ☆40Updated last year
- A core language and API for dependently typed languages☆89Updated 11 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Apple array system☆54Updated this week
- File format and optimizer for programs encoded in binary lambda calculus☆11Updated 9 months ago
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆53Updated 5 months ago
- A structure editor for a simple functional programming language, with Vim-like shortcuts and commands.☆15Updated 11 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 4 months ago
- ☆34Updated last year
- A structural editor for JSON values☆78Updated 2 years ago
- A bidirectional type checker☆57Updated 7 years ago
- LLVM code generation in Haskell☆50Updated last week
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- Catalog of visual lambda calculi☆97Updated last year
- Fast equality saturation in Haskell☆76Updated 6 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 weeks ago
- bidirectional type checking algorithms for higher-ranked polymorphism☆18Updated 2 years ago