Alternatives and similar repositories for call-by-push-block:

Users that are interested in call-by-push-block are comparing it to the libraries listed below

• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆79Updated 5 months ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 5 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• Anut-py / ghc-web-test
  ☆15Updated last year
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆46Updated last week
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆163Updated last year
• edemko / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆21Updated last year
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆102Updated this week
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 years ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago
• lexi-lambda / shattered-plans
  ☆36Updated last year
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆55Updated 4 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆83Updated last month
• ButlerOS / haskell-butler
  ☆89Updated 4 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆28Updated last week
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆13Updated last year
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated last year
• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• bradrn / brassica
  A featureful sound change applier for language construction
  ☆31Updated last month
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 3 months ago
• PortMidi / PortMidi-haskell
  A Haskell module for PortMidi audio library.
  ☆13Updated 7 months ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 3 years ago