Alternatives and similar repositories for jnp3-haskell

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

• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• brandonhamilton / ilist
  ℹ️ Index-related functions for lists
  ☆12Updated 3 years ago
• Kleidukos / Intrigue
  My attempt at writing a R⁵RS-compliant Scheme with Megaparsec
  ☆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 3 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated 2 years ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated last month
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆30Updated 11 years ago
• haskellari / some
  Existential type.
  ☆37Updated 10 months ago
• Mesabloo / jellyvm
  A VM written following the Linear Abstract Machine architecture
  ☆22Updated 6 years ago
• evertedsphere / shorshe
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆30Updated 5 years ago
• bartavelle / stateWriter
  A RWS like monad without the slow writer stuff
  ☆12Updated 2 years ago
• GaloisInc / alex-tools
  A Haskell library making it easier to write Alex lexers.
  ☆12Updated last month
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 8 years ago
• cronokirby / ludus
  A pluggable NES emulator
  ☆31Updated 6 years ago
• javaFunAgain / magic_service_story
  Just a story about dependency injection
  ☆13Updated 9 years ago
• LightAndLight / parametricity-proofs
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Updated 7 years ago
• helvm / helpa
  🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell
  ☆13Updated 7 months ago
• glguy / advent2019
  Advent of Code 2019 solutions
  ☆43Updated 4 years ago
• msullivan / sml-util
  A handful of potentially useful crap for Standard ML
  ☆21Updated 8 years ago
• ayberkt / simplc
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Updated 5 years ago
• Mesabloo / nihil
  Nihil, a statically typed interpreted functional programming language
  ☆69Updated 4 years ago
• jaspervdj / indents
  Simple indentation sensitive parser-combinators for parsec
  ☆20Updated 2 years ago
• Bubbler-4 / StepULC
  Efficient and single-steppable ULC evaluation algorithm
  ☆15Updated 4 years ago
• habit-lang / alb
  ☆39Updated last year
• fizruk / lambda-mu-mu-calculus
  Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).
  ☆20Updated 5 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 7 years ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆18Updated 6 years ago
• laMudri / generic-lr
  AACMM's generic-syntax, but with QTT-style annotations
  ☆21Updated last year