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 9 months ago
• fram-lang / dbl
  An experimental programming language that combines effect handlers and implicit parameters
  ☆33Updated 2 weeks ago
• ethanrange / safe-pattern-generation
  Type-safe statically unknown pattern generation in MetaOCaml
  ☆11Updated last year
• marcelgoh / opythn
  A compiler and bytecode interpreter for a subset of Python
  ☆10Updated 4 years ago
• fan-tom / liquid-rust
  Liquid Types implementation for Rust
  ☆29Updated 2 years ago
• DaftAcademy / daftacademy-python_levelup-spring2019
  ☆17Updated 6 years ago
• hkust-taco / superf
  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…
  ☆15Updated last year
• tcr / corollary
  Cross-compiler from Haskell to Rust, plus parser-haskell.
  ☆77Updated 7 years ago
• julesjacobs / boa
  Partition refinement
  ☆15Updated last year
• khasm-lang / khasmc
  A functional programming language, mirroring Erlang and Go, but with more OCaml!
  ☆24Updated last month
• andreasabel / agda2lagda
  Simple conversion from Agda text to literate Agda text.
  ☆14Updated 3 months ago
• NicklasBoto / BruSKI
  "DeBruijn to SKI" Untyped language that compiles to Unlambda
  ☆10Updated 4 years ago
• wkolowski / Typonomikon
  Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
  ☆12Updated 2 months ago
• j-mie6 / design-patterns-for-parser-combinators
  A Really Cool Calculator written in Haskell... or is it?
  ☆43Updated 3 years ago
• zilberstein / system-fc-coq
  ☆12Updated 10 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• AndrasKovacs / system-f-omega
  System F-omega normalization by hereditary substitution in Agda
  ☆59Updated 5 years ago
• rlepigre / subml
  SubML (prototype) language
  ☆23Updated 3 years ago
• Bubbler-4 / StepULC
  Efficient and single-steppable ULC evaluation algorithm
  ☆15Updated 4 years ago
• catseye / Philomath
  MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
  ☆14Updated last year
• idris-community / idris2-tls
  A portable idris2 implementation of TLS
  ☆32Updated 7 months ago
• BebeSparkelSparkel / biparsing
  Bidirectional Parsing. Work in Progress
  ☆32Updated 9 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
• andrejbauer / repl-in-browser
  Implementation of a language interpreter in the browser, using js_of_ocaml.
  ☆15Updated 7 years ago
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• tlringer / thesis
  haha I'm graduating
  ☆14Updated 3 years ago