mbenke / jnp3-haskell
Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
☆30Updated last year
Alternatives and similar repositories for jnp3-haskell:
Users that are interested in jnp3-haskell are comparing it to the libraries listed below
- Skrypt do przedmiotu "Algorytmy i Struktury Danych"☆14Updated 5 years ago
- EiTI Szablon MGR INŻ Autor: Piotr Woźniak☆46Updated 5 years ago
- LaTeX template for engineer and master thesis for Warsaw University of Technology.☆216Updated last year
- System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego☆31Updated this week
- Esolang with real-world inspiration☆11Updated 4 years ago
- Rust programming, in Polish.☆252Updated 2 years ago
- Just a story about dependency injection☆13Updated 8 years ago
- ℹ️ Index-related functions for lists☆12Updated 3 years ago
- Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.☆11Updated last week
- NullPointerExceptions in Haskell☆58Updated 7 years ago
- a new, WIP Haskell compiler☆14Updated 4 years ago
- ☆13Updated last year
- "DeBruijn to SKI" Untyped language that compiles to Unlambda☆10Updated 4 years ago
- examples of postgresql-simple Haskell library.☆8Updated 9 years ago
- scaffolding is a very pointless esolang. Don't try it.☆16Updated 4 years ago
- Updated LazyK source distribution☆18Updated 6 years ago
- ☆9Updated 3 years ago
- Tool for developing tasks for programming competitions.☆15Updated this week
- Versioned mirror of Kåre's ksolve+ puzzle solver with @qqwref's enhancements.☆24Updated 4 years ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- Skrypt do zautomatyzowanej pracy z systemem minix 2.0.3 na laboratorium SOI☆32Updated 10 months ago
- Rust programming, in Romanian.☆93Updated 5 months ago
- LLVM code generation in Haskell☆53Updated 2 months ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆33Updated 3 years ago
- Cat's Eye Technologies' implementation of (and tools for) the Beatnik programming language☆7Updated 3 years ago
- ☆16Updated 2 years ago
- A generalization of distributed-process functions to a MonadProcess typeclass and standard transformer instances using monad-control and …☆12Updated 6 years ago
- Rustic is a chess engine. It is written from scratch in the Rust programming language.☆141Updated this week
- Esoteric C Compiler targeting esoteric systems☆9Updated 4 years ago
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 3 years ago