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

• cdupont / Timeloop
  ☆41Updated last year
• jaspervdj / turnstyle
  Turnstyle is a graphical esoteric programming language based on lambda calculus
  ☆80Updated 6 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• Anut-py / ghc-web-test
  ☆15Updated last year
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆32Updated 7 months ago
• RiugaBachi / necrophagy
  A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
  ☆25Updated 2 years ago
• ad-si / Brillo
  Painless 2D vector graphics, animations, and simulations powered by GLFW (Fork of gloss)
  ☆38Updated 3 months ago
• Shimuuar / inline-python
  Embedding of python interpreter into haskell programs
  ☆11Updated this week
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆55Updated 2 months ago
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 2 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 2 months ago
• ners / dosh
  📺 The power of Haskell in your terminal!
  ☆42Updated 3 weeks ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆47Updated last month
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 6 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 months ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆163Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated last month
• haskell-works / oops
  ☆22Updated 5 months ago
• inflex-io / early
  Add early return to any do-expression
  ☆46Updated 3 years ago
• digitallyinduced / haskell-ux
  Let's make Haskells error messages helpful :)
  ☆20Updated 4 years ago
• vmchale / kempe
  Kempe is a compiled stack-based language
  ☆58Updated 7 months ago
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 2 years ago
• nmaehlmann / mallRL
  Grocery shopping roguelike developed for the 7drl game jam
  ☆24Updated 5 years ago
• chshersh / ghc-plugin-non-empty
  🧬 GHC Plugin for compile-time transformation of list literals to NonEmpty list
  ☆27Updated 2 years ago
• georgefst / monpad
  A fully-customisable web-based gamepad, designed to be used from smartphones.
  ☆41Updated last month