mbenke / jnp3-haskell
Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
☆30Updated 2 months ago
Alternatives and similar repositories for jnp3-haskell:
Users that are interested in jnp3-haskell are comparing it to the libraries listed below
- Scenariusze na laboratoria JPP na wydziale MIM UW.☆12Updated 6 months ago
- ☆171Updated last week
- FizzBuzz, formally verified, provably correct☆26Updated 2 years ago
- Advent of Code 2017 solutions☆27Updated 4 years ago
- A (mostly) purely functional console-based esoteric language interpreter.☆12Updated 3 years ago
- Advent of Code 2019 solutions☆43Updated 3 years ago
- Wszystkie kawałki kodu oraz ćwiczenia, jakie pojawią się w moim kursie☆73Updated last year
- scraps and bits and bobs☆14Updated 2 years ago
- A very simple example of how to use Alex and Happy to build a language processor in Haskell.☆15Updated 10 years ago
- Just a story about dependency injection☆13Updated 8 years ago
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆27Updated 5 years ago
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆31Updated this week
- Generator obostrzeń covidowych☆535Updated last year
- Interpreter/compiler for a 2D esoteric language☆12Updated 9 years ago
- Extremely simple effect system for Haskell☆7Updated 4 years ago
- Nλ is a simple functional programming language aimed at manipulating infinite, but first-order definable structures, such as the countabl…☆12Updated 5 months ago
- a new, WIP Haskell compiler☆14Updated 4 years ago
- A purity and nullability analysis tool for Java.☆25Updated 6 years ago
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago
- A small 2D game framework in Haskell, for Haskell☆26Updated 7 years ago
- Rust programming, in Polish.☆269Updated 2 years ago
- freshly-fermented, dependently-typed mustard, with a substructural aftertaste☆31Updated 5 years ago
- Provably correct implementation of insertion sort in Idris.☆30Updated 3 years ago
- Monomorphize polymorphic functions for testing☆35Updated 8 years ago
- Library for generating Haskell source files and code fragments.☆97Updated 3 months ago
- Intocode interpreter for Advent of Code 2019☆10Updated 3 months ago
- An experiment in re-implementing big integers in Haskell.☆40Updated 2 years ago
- Pure basic library based on math abstractions☆9Updated 2 years ago
- ☆23Updated last year
- A fast simple logging monad.☆10Updated 4 years ago