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
  ☆78Updated 3 months ago
• cdupont / Timeloop
  ☆41Updated last year
• Anut-py / ghc-web-test
  ☆15Updated last year
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆83Updated 2 weeks ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 4 months ago
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆11Updated last year
• lexi-lambda / shattered-plans
  ☆35Updated last year
• jkoppel / ecta
  ☆33Updated 9 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated 2 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆21Updated this week
• fumieval / Haskell-breaking-changes
  ☆89Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago
• jonascarpay / calligraphy
  haskell source code visualizer
  ☆98Updated last year
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated last year
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 7 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 3 weeks ago
• SturdyPose / Yampa-Game-Of-Life
  Game of life using SDL2, OpenGL and Yampa
  ☆22Updated last year
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated last month
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 5 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆30Updated 2 years ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆60Updated 11 months ago
• haskell-works / oops
  ☆22Updated 2 months ago