cole-k / call-by-push-block

Related projects: ⓘ

• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆73Updated this week
• cdupont / Timeloop
  ☆40Updated 10 months ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated 8 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆22Updated 2 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated 9 months ago
• lexi-lambda / shattered-plans
  ☆34Updated last year
• vmchale / apple
  Apple array system
  ☆53Updated this week
• jkoppel / ecta
  ☆33Updated 5 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆28Updated 2 years ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆24Updated 2 years ago
• ners / dosh
  The power of Haskell in your terminal!
  ☆41Updated last month
• edemko / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆10Updated 8 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆25Updated this week
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆79Updated last week
• andreasabel / haskell-style-guide
  A style guide for Haskell code.
  ☆12Updated 4 years ago
• tittoassini / notebook
  Rough and Ready Haskell Notebooks with HLS and VS Code
  ☆44Updated last year
• MostAwesomeDude / brismu
  A relational interpretation of Lojban
  ☆31Updated last week
• junjihashimoto / sixel
  ☆53Updated 3 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆188Updated last year
• mstewartgallus / prologish
  ☆12Updated 3 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• gelisam / linear-examples
  Example uses of linear types
  ☆42Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 3 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆49Updated 11 months ago
• awkward-squad / ki
  A structured concurrency library
  ☆81Updated 2 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated last year
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆78Updated last week
• yallop / ocaml-re-nfa
  OCaml code to construct an NFA from a regular expression
  ☆49Updated 4 years ago