Materials for MI-AFP course tutorials
☆12Updated this week
Alternatives and similar repositories for tutorials
Users that are interested in tutorials are comparing it to the libraries listed below
Sorting:
- iOS app for OctoPrint☆10Jun 6, 2017Updated 8 years ago
- Soluções dos problems do adventofcode.com☆13Jan 8, 2021Updated 5 years ago
- Materiály k předmětu NI-PYT na FIT ČVUT☆113Dec 2, 2020Updated 5 years ago
- ☆27Dec 4, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Script que lê e compila o Diario Oficial☆10Apr 11, 2019Updated 6 years ago
- Worker.IO - RPC interfaces for your web workers, Promise/A+ compliant☆12Nov 28, 2017Updated 8 years ago
- A new language for optimization☆13May 17, 2021Updated 4 years ago
- A simple application for retrieving lunch menus of selected restaurants around FIT CTU☆12Nov 26, 2017Updated 8 years ago
- a haskell template for advent of code☆10Dec 1, 2023Updated 2 years ago
- Sorbet extension for Zed☆13Jun 6, 2025Updated 8 months ago
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- A command-line parser for Standard ML☆21Dec 29, 2025Updated 2 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- ☆10Nov 25, 2021Updated 4 years ago
- ☆16Jun 26, 2022Updated 3 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Updated this week
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆13Dec 19, 2025Updated 2 months ago
- HTML5 Presentation Environment☆20Mar 23, 2022Updated 3 years ago
- libSavitar is a c++ implementation of 3mf loading with SIP python bindings.☆11Jan 5, 2026Updated last month
- Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)☆100Dec 3, 2019Updated 6 years ago
- ☆13Sep 2, 2024Updated last year
- Postgres extensions in C++☆16Sep 27, 2025Updated 5 months ago
- Sandboxable Nix project evaluators☆17Dec 20, 2024Updated last year
- NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]☆13Sep 18, 2025Updated 5 months ago
- Encode and decode data as emojis, in Rust☆16Dec 22, 2020Updated 5 years ago
- A simple js_of_ocaml workflow with Reason and esy☆16Dec 11, 2022Updated 3 years ago
- MirageOS tutorial notebooks using IOCaml☆16Nov 4, 2017Updated 8 years ago
- CLI for Bitte☆13Apr 7, 2022Updated 3 years ago
- A brainfuck interpreter in Haskell. Rewrite of tsfuck☆11Aug 30, 2021Updated 4 years ago
- 🦅 🎲 Roc library for number generation (and more!)☆10Feb 13, 2025Updated last year
- ☆14Jul 25, 2021Updated 4 years ago
- Agda libraries relevant to Moonad☆14Apr 2, 2019Updated 6 years ago
- A sample implementation of complex microservice edge testing using distributable fakes☆13Nov 19, 2020Updated 5 years ago
- Repository of AKS Best Practices Sessions' samples, demos and code☆14Feb 3, 2020Updated 6 years ago
- A compilation of BQN solutions to various coding challenges.☆12Feb 16, 2026Updated last week
- I can no longer cope with maintaining of up-to-date academic CVs in the billions of possible required formats. Procrastinating with this…☆11Jan 15, 2026Updated last month