a haskell template for advent of code
☆10Dec 1, 2023Updated 2 years ago
Alternatives and similar repositories for template-advent-of-code
Users that are interested in template-advent-of-code are comparing it to the libraries listed below
Sorting:
- Types for ldtk☆16Apr 13, 2024Updated last year
- Session types framework with support of protocol pipelining.☆16Feb 18, 2026Updated 2 weeks ago
- GHC plugin for automatic case splitting☆18Sep 7, 2025Updated 5 months ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- ☆20May 22, 2023Updated 2 years ago
- A multi-language serverless quiz based app created with reason react.☆22Dec 30, 2022Updated 3 years ago
- Serverless Optimized MODules - A Serverless Framework to create reusable micro apps☆18Jul 7, 2025Updated 7 months ago
- Truncate datetime objects to the specifiec level of precision, inspired by PostgreSQL's DATE_TRUNC.☆14Apr 20, 2021Updated 4 years ago
- Library and utility for processing cabal's plan.json file☆41Jul 29, 2025Updated 7 months ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 2023Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- 以提效为主题的VSCode插件，目前包含报错快速搜索与代码时长统计功能，尚处于预览版中......☆10Oct 17, 2022Updated 3 years ago
- Typed, schema-based, composable Redis library for Haskell☆10Dec 10, 2025Updated 2 months ago
- This repository comtains list of Ambassador programs for Developers and Students.☆11Jul 22, 2024Updated last year
- ☆10Sep 28, 2020Updated 5 years ago
- ☆41Nov 9, 2023Updated 2 years ago
- A performance comparison between TS and JS☆17Feb 24, 2024Updated 2 years ago
- ☆10Nov 25, 2021Updated 4 years ago
- ⚪️ `wasm-pack build` executed in remote deployment☆14Jan 3, 2022Updated 4 years ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 4 years ago
- ☆11Jul 17, 2023Updated 2 years ago
- A dark theme for SDDM, made with QML.☆10Oct 30, 2023Updated 2 years ago
- Sorbet extension for Zed☆13Jun 6, 2025Updated 8 months ago
- Emacs org mode export backend for beamer lectures.☆10Sep 18, 2025Updated 5 months ago
- declarative reverse proxy for local development☆11Mar 16, 2020Updated 5 years ago
- Samosa helps developers prioritize what needs to be tested.☆12Feb 23, 2023Updated 3 years ago
- Toy Lisp to Python compiler☆10Jan 26, 2014Updated 12 years ago
- ☆14May 17, 2025Updated 9 months ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last week
- ☆15Feb 1, 2026Updated last month
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- A helpful AI assistant for Mercury engineers☆21Jan 9, 2026Updated last month
- a minimal blog platform using github for hosting content and page☆11Nov 25, 2020Updated 5 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.☆16Feb 13, 2023Updated 3 years ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Deadlock killer library.☆14Jun 29, 2020Updated 5 years ago
- Terminal interface to search the LLVM-C API☆13Dec 26, 2021Updated 4 years ago
- Documentation☆10Sep 17, 2021Updated 4 years ago