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
  ☆80Updated 7 months ago
• cdupont / Timeloop
  ☆41Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆30Updated last year
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆164Updated last year
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last week
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 2 months ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 2 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆13Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆106Updated last month
• Anut-py / ghc-web-test
  ☆15Updated last year
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆77Updated 4 years ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 3 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated last year
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆47Updated 2 months ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated last week
• LaurentRDC / javelin
  Haskell implementation of data structures for data science
  ☆22Updated 2 months ago
• jkoppel / ecta
  ☆35Updated last year
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 7 months ago
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆30Updated 4 months ago
• jonascarpay / calligraphy
  haskell source code visualizer
  ☆99Updated 3 weeks ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• Lysxia / advent-of-coq-2021
  ☆43Updated 3 years ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆26Updated 2 months ago
• haskell-works / oops
  ☆22Updated 6 months ago
• ButlerOS / haskell-butler
  ☆89Updated 7 months ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago