Alternatives and similar repositories for jnp3-haskell

Users that are interested in jnp3-haskell are comparing it to the libraries listed below

• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆34Updated 3 years ago
• mbenke / labjpp
  Scenariusze na laboratoria JPP na wydziale MIM UW.
  ☆12Updated 8 months ago
• mtolly / rail
  Interpreter/compiler for a 2D esoteric language
  ☆12Updated 9 years ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 4 years ago
• Heimdell / LR
  LR(1) parser (and generator)
  ☆8Updated last year
• brandonhamilton / ilist
  ℹ️ Index-related functions for lists
  ☆12Updated 3 years ago
• meta-logic / sequoia-v0
  Design, play with, and analyze sequent calculus proof systems.
  ☆13Updated 9 months ago
• thomasoa / andrews-deal
  Automatically exported from code.google.com/p/andrews-deal
  ☆10Updated 2 years ago
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆21Updated last year
• luke-clifton / generic-monoid
  Deriving Semigroup and Monoid instances for your product types
  ☆11Updated 2 months ago
• snejugal / typedKanren
  A statically typed embedding of miniKanren in Haskell
  ☆19Updated this week
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated 3 months ago
• jbrot / jstris-ai
  An AI for Tetris on Jstris
  ☆11Updated 5 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• andreasabel / agda2lagda
  Simple conversion from Agda text to literate Agda text.
  ☆14Updated 2 months ago
• SimonHauguel / Paso
  Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system
  ☆29Updated 2 years ago
• RyanGlScott / gists
  The greatest hits of https://gist.github.com/RyanGlScott
  ☆11Updated 2 years ago
• agluszak / mimuw-sik-2022-public
  ☆13Updated 2 years ago
• sjakobi / awesome-haskell-tutorial-modules
  A curated list of awesome Haskell tutorial modules
  ☆12Updated 3 years ago
• bananu7 / Hate
  A small 2D game framework in Haskell, for Haskell
  ☆26Updated 7 years ago
• nqpz / hbcht
  Esolang with real-world inspiration
  ☆11Updated 4 years ago
• Uriopass / Collagol
  Collaborative Game of Life
  ☆14Updated 5 years ago
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆43Updated 3 years ago
• minad / writer-cps-mtl
  Stricter drop in replacements for WriterT and RWST
  ☆11Updated 2 years ago
• jaspervdj / acme-cofunctor
  A Cofunctor is a structure from category theory dual to Functor
  ☆15Updated 7 years ago
• erikd / haskell-big-integer-experiment
  An experiment in re-implementing big integers in Haskell.
  ☆40Updated 2 years ago
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated this week
• kspalaiologos / Zaskroniec
  Polski wąż
  ☆9Updated 4 years ago