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
  ☆33Updated 2 years ago
• mbenke / labjpp
  Scenariusze na laboratoria JPP na wydziale MIM UW.
  ☆12Updated 7 months ago
• agluszak / mimuw-sik-2022-public
  ☆13Updated 2 years ago
• pwozniak / EiTI-Szablon
  EiTI Szablon MGR INŻ Autor: Piotr Woźniak
  ☆45Updated 5 years ago
• sio2project / oioioi
  ☆172Updated last week
• Dash-Lambda / Eso
  A (mostly) purely functional console-based esoteric language interpreter.
  ☆12Updated 3 years ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 6 years ago
• javaFunAgain / magic_service_story
  Just a story about dependency injection
  ☆13Updated 8 years ago
• harisont / imparalhaskell
  Impara l'Haskell e mettilo da parte
  ☆14Updated 3 years ago
• peku33 / minix-toolkit
  Skrypt do zautomatyzowanej pracy z systemem minix 2.0.3 na laboratorium SOI
  ☆32Updated last year
• phaux / rdza
  Rust programming, in Polish.
  ☆271Updated 2 years ago
• ArturB / WUT-Thesis
  LaTeX template for engineer and master thesis for Warsaw University of Technology.
  ☆216Updated 2 years ago
• Trolololodev / memesitory
  MDD - Meme Driven Development
  ☆80Updated 3 years ago
• andrzej3393 / slunskigit
  Dodej trocha wůnglu do swojygo gita!
  ☆88Updated 3 years ago
• nqpz / hbcht
  Esolang with real-world inspiration
  ☆11Updated 4 years ago
• gergoerdi / clash-compucolor2
  Clash implementation of the Compucolor II home computer
  ☆31Updated 3 years ago
• ekmett / folds
  Folds and sequence algebras
  ☆18Updated 2 years ago
• Florian3k / fayrant-lang
  Simple, interpreted, dynamically-typed programming language
  ☆27Updated 2 years ago
• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆31Updated last week
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• tibbe / talks
  ☆10Updated 9 years ago
• felko / linear-algebra
  Linear algebra formalization in Agda
  ☆16Updated 5 years ago
• haskell-pkg-janitors / haskell-src
  Library for manipulating Haskell source code
  ☆22Updated 7 months ago
• ghulette / happy-example
  A very simple example of how to use Alex and Happy to build a language processor in Haskell.
  ☆15Updated 10 years ago
• maximedenes / native-coq
  Coq with native compilation, as well as machine integers and arrays !
  ☆62Updated 6 years ago
• JLimperg / cats
  Category Theory in Agda. Learning exercise, not for public consumption.
  ☆25Updated 5 years ago
• 808-Squad / koronawirus.lol
  Generator obostrzeń covidowych
  ☆535Updated last year
• maciejkorsan / podlaskigit
  Podlaskie aliasy dla gitowych komend
  ☆686Updated 2 years ago
• kspalaiologos / Zaskroniec
  Polski wąż
  ☆9Updated 4 years ago
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago