mbenke / jnp3-haskell
Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
☆30Updated 3 months ago
Alternatives and similar repositories for jnp3-haskell:
Users that are interested in jnp3-haskell are comparing it to the libraries listed below
- 2018-2021 mimuw by marcin abramowicz☆33Updated 2 years ago
- Scenariusze na laboratoria JPP na wydziale MIM UW.☆12Updated 7 months ago
- ☆13Updated 2 years ago
- EiTI Szablon MGR INŻ Autor: Piotr Woźniak☆45Updated 5 years ago
- ☆172Updated last week
- A (mostly) purely functional console-based esoteric language interpreter.☆12Updated 3 years ago
- Updated LazyK source distribution☆18Updated 6 years ago
- Just a story about dependency injection☆13Updated 8 years ago
- Impara l'Haskell e mettilo da parte☆14Updated 3 years ago
- Skrypt do zautomatyzowanej pracy z systemem minix 2.0.3 na laboratorium SOI☆32Updated last year
- Rust programming, in Polish.☆271Updated 2 years ago
- LaTeX template for engineer and master thesis for Warsaw University of Technology.☆216Updated 2 years ago
- MDD - Meme Driven Development☆80Updated 3 years ago
- Dodej trocha wůnglu do swojygo gita!☆88Updated 3 years ago
- Esolang with real-world inspiration☆11Updated 4 years ago
- Clash implementation of the Compucolor II home computer☆31Updated 3 years ago
- Folds and sequence algebras☆18Updated 2 years ago
- Simple, interpreted, dynamically-typed programming language☆27Updated 2 years ago
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆31Updated last week
- Proof and Code Presentation Framework☆21Updated 5 years ago
- ☆10Updated 9 years ago
- Linear algebra formalization in Agda☆16Updated 5 years ago
- Library for manipulating Haskell source code☆22Updated 7 months ago
- A very simple example of how to use Alex and Happy to build a language processor in Haskell.☆15Updated 10 years ago
- Coq with native compilation, as well as machine integers and arrays !☆62Updated 6 years ago
- Category Theory in Agda. Learning exercise, not for public consumption.☆25Updated 5 years ago
- Generator obostrzeń covidowych☆535Updated last year
- Podlaskie aliasy dla gitowych komend☆686Updated 2 years ago
- Polski wąż☆9Updated 4 years ago
- Advent of Code 2020 Haskell Solutions☆16Updated 4 years ago