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
• eta-lang / eta-nix
  Nix expressions to build Eta
  ☆17Updated 7 years ago
• helvm / helpa
  🏭 🌾 HelPA - Haskellish Esoteric Little Pseudo Assembler to Esoteric Languages implemented in Haskell
  ☆13Updated 9 months ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 6 years ago
• owainlewis / lambda-calculus
  Lambda calculus parser in Haskell
  ☆14Updated 9 years ago
• Dash-Lambda / Eso
  A (mostly) purely functional console-based esoteric language interpreter.
  ☆13Updated 4 years ago
• habit-lang / alb
  ☆39Updated last year
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 5 years ago
• kowainik / trial
  ⚖️ Trial Data Type
  ☆21Updated 6 months ago
• alexhumphreys / hello-idris2
  A template for idris projects
  ☆11Updated 4 years ago
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• kritzcreek / infer_workshop
  An interactive workshop on implementing AlgorithmW in Kotlin
  ☆21Updated 5 years ago
• DoctorRainer / sae
  An Idris 2 build tool and a package manager
  ☆28Updated 2 years ago
• int-index / caps
  Monadic capabilities with late binding
  ☆29Updated 2 years ago
• brandonhamilton / ilist
  ℹ️ Index-related functions for lists
  ☆12Updated 4 years ago
• irori / unlambda
  Unlambda interpreter
  ☆11Updated last year
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated 2 years ago
• bartavelle / hruby
  Embed Ruby in your Haskell program.
  ☆22Updated last year
• sullyj3 / buttplug-hs-core
  A Haskell client library for the Buttplug Sex Toy Control System (https://buttplug.io/). Contributions Welcome!
  ☆26Updated 2 years ago
• zilch-lang / nstar
  The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch
  ☆31Updated 2 years ago
• schani / unlambdascheme
  A Scheme to Unlambda compiler
  ☆18Updated 8 years ago
• davidfstr / idris-insertion-sort
  Provably correct implementation of insertion sort in Idris.
  ☆31Updated 4 years ago
• timjs / idris-clean
  A priliminary backend for Idris that compiles to Clean.
  ☆15Updated 8 years ago
• Josemarialanda / simple-haskell-project
  A convenient script that generates a fully decked haskell project in a matter of seconds!
  ☆19Updated 2 years 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
• mbrc12 / etanol
  A purity and nullability analysis tool for Java.
  ☆26Updated 7 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆31Updated 11 years ago
• kasiaMarek / TyRE
  ☆26Updated last year
• andreasabel / agda2lagda
  Simple conversion from Agda text to literate Agda text.
  ☆14Updated 2 weeks ago
• Z-snails / Idris2-Grin
  GRIN backend for Idris2
  ☆33Updated 3 years ago