Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
☆31Jan 23, 2025Updated last year
Alternatives and similar repositories for jnp3-haskell
Users that are interested in jnp3-haskell are comparing it to the libraries listed below
Sorting:
- Free levels for easily reimplementable video games.☆16Aug 22, 2022Updated 3 years ago
- Moved to https://codeberg.org/ISSOtm/sgb-bios☆20Sep 24, 2025Updated 5 months ago
- TPP1 specification☆24Oct 2, 2022Updated 3 years ago
- Formal semantics of Rust☆24Apr 9, 2021Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆26Oct 15, 2018Updated 7 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Encode and decode graphics from a variety of retro video game systems!☆37Jun 8, 2020Updated 5 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- A Brainfuck interpreter written in Rust and compiled to WebAssembly☆10Dec 4, 2017Updated 8 years ago
- a reasonably fast syntax highlighter☆14Aug 5, 2025Updated 7 months ago
- ☆10Nov 1, 2017Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 10 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- ☆13Feb 12, 2025Updated last year
- Giter8 template for a simple project that uses sbt-crossproject.☆11Jul 16, 2018Updated 7 years ago
- A working and hopefully fast SUBLEQ emulator to run DawnOS☆11Sep 19, 2019Updated 6 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- Rust Crate for converting XML to JSON☆13Mar 12, 2016Updated 10 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- ℹ️ Index-related functions for lists☆12Nov 15, 2021Updated 4 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- Frege Interpreter☆15Jun 13, 2020Updated 5 years ago
- Interpreter for a small subset of the Haskell programming language☆16Dec 11, 2025Updated 3 months ago
- ☆10Feb 3, 2016Updated 10 years ago
- Writing Cypress end-to-end tests with ClojureScript☆10Mar 15, 2018Updated 8 years ago
- A collection of ready-to-use Prometheus Metrics to monitor your Haskell application☆13Aug 27, 2025Updated 6 months ago
- A toolset for Reason / OCaml related documentation generation☆14Apr 9, 2020Updated 5 years ago
- Pure-Scala implementation of HOCON, suitable for cross-platform use☆10May 29, 2017Updated 8 years ago
- utility functions for testing attoparsec parsers with hspec☆14Mar 21, 2015Updated 11 years ago
- Library for distance measurements☆12Mar 1, 2023Updated 3 years ago
- A repository to review the main concepts about Functional Programming with Java☆10Mar 1, 2026Updated 3 weeks ago
- A style guide for Haskell code.☆14May 26, 2025Updated 9 months ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- Cabal-fmt vim plugin for formatting Cabal package files☆15Jun 30, 2020Updated 5 years ago