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 3 months ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated this week
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• cdupont / Timeloop
  ☆41Updated last year
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆47Updated 3 weeks ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• ButlerOS / haskell-butler
  ☆89Updated 3 months ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 3 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆12Updated last year
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• gshen42 / HasChor
  Functional choreographic programming in Haskell
  ☆90Updated 2 months ago
• haskell-works / oops
  ☆22Updated 2 months ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical types
  ☆26Updated last week
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 5 months ago
• jespercockx / agda-core
  A work-in-progress core language for Agda, in Agda
  ☆44Updated 3 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 9 months ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆66Updated last year
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated last week
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated 2 months ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆19Updated 6 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆97Updated this week
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆163Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆85Updated this week
• jkoppel / ecta
  ☆34Updated 10 months ago