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 8 months ago
• nh2 / haskell-jobs-statistics
  ☆37Updated last year
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated 3 weeks ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• ButlerOS / haskell-butler
  ☆88Updated 7 months ago
• cdupont / Timeloop
  ☆41Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated 4 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆52Updated 4 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆37Updated 2 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆109Updated 2 months ago
• haskell-works / oops
  ☆22Updated 6 months ago
• cofree-coffee / cofree-bot
  A library for building bots compositionally.
  ☆47Updated 3 months ago
• bolt12 / advent-of-haskell-dd
  Day 9 of Advent of Haskell - Denotational Design
  ☆97Updated 3 years ago
• vmchale / jacinda
  Functional, expression-oriented data processing language
  ☆89Updated last month
• 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
• monadicsystems / okapi
  A data-driven micro web framework for Haskell
  ☆103Updated last year
• two-twelve / fernery
  A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems
  ☆49Updated last year
• PortMidi / PortMidi-haskell
  A Haskell module for PortMidi audio library.
  ☆13Updated 10 months ago
• haskell-game / tiny-games-hs
  Haskell Tiny Game Jam
  ☆165Updated last year
• siraben / fp-notes
  Notes on Functional Programming and related topics
  ☆29Updated 3 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 11 months ago
• gelisam / linear-examples
  Example uses of linear types
  ☆43Updated 4 years ago
• CrystalSplitter / ghcitui
  A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode
  ☆57Updated 7 months ago
• nmaehlmann / mallRL
  Grocery shopping roguelike developed for the 7drl game jam
  ☆24Updated 5 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 7 months ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• typedbyte / hagato
  Haskell Gamedev Toolkit, a library for developing games from scratch.
  ☆67Updated last year
• SturdyPose / Yampa-Game-Of-Life
  Game of life using SDL2, OpenGL and Yampa
  ☆22Updated 2 years ago