A collection of templates and solutions for Competitive Programming in Haskell
☆30Nov 18, 2021Updated 4 years ago
Alternatives and similar repositories for CPHaskell
Users that are interested in CPHaskell are comparing it to the libraries listed below
Sorting:
- Competitive programming utilities in Haskell☆41Jan 11, 2026Updated last month
- Git repository for the course Logika v računalništvu☆15Apr 5, 2022Updated 3 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Feb 7, 2025Updated last year
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- A Game Boy Advance emulator.☆11Jun 16, 2024Updated last year
- CSCS Scripting Language Implemented in C++☆11Mar 5, 2017Updated 9 years ago
- Exercises for EOPL in Haskell☆11Apr 1, 2025Updated 11 months ago
- Text and Haskell source for my blog series on recursion schemes.☆49Jul 13, 2022Updated 3 years ago
- A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notat…☆16Mar 11, 2012Updated 13 years ago
- COmpact SOlver for COnstrained problems☆14Feb 26, 2026Updated last week
- routing your gemini-cli to openai 3rd party providers☆21Jul 21, 2025Updated 7 months ago
- ☆11Sep 21, 2025Updated 5 months ago
- RosettaLinux augmentation tool☆14Nov 19, 2025Updated 3 months ago
- GameBoy emulator written in C++.☆11Sep 17, 2025Updated 5 months ago
- Nunux Keeper CLI☆11Oct 3, 2017Updated 8 years ago
- My exercises for Haskell: First Principles☆10Oct 16, 2018Updated 7 years ago
- Open source game engine for Baba Is You puzzle game☆12Jul 18, 2024Updated last year
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- ☆11Feb 15, 2022Updated 4 years ago
- A Dependently Timed Drum Machine Language☆11May 4, 2024Updated last year
- A reactive notebook for Haskell☆53Updated this week
- LispWorks Configuration files☆13Jul 23, 2017Updated 8 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 3 months ago
- Protobuf generator for MoonBit programming language☆14Feb 28, 2026Updated last week
- ☆13Jan 23, 2022Updated 4 years ago
- JFact repository☆18Apr 17, 2022Updated 3 years ago
- ☆11Jul 8, 2020Updated 5 years ago
- LaTeX math equations to Typst equations conversion.☆14Jan 22, 2025Updated last year
- Program memory visualizer for GDB/LLDB (bachelor thesis)☆12Apr 17, 2016Updated 9 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated 2 weeks ago
- Blargg's DMG/GBC test roms.☆11Aug 15, 2018Updated 7 years ago
- Music sequencer for cheap gaming handhelds☆59Updated this week
- Repository containing the lectures and homework of the IOG's Haskell Bootcamp☆14Sep 12, 2025Updated 5 months ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated last month
- ☆15Apr 8, 2025Updated 10 months ago
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 4 years ago
- A 3D adaptation of the state-of-the-art sparrow nesting algorithm☆22Nov 26, 2025Updated 3 months ago
- ☆13Oct 14, 2025Updated 4 months ago
- A collection of fun logic puzzles solved in Prolog, demonstrating the power of logic programming for solving complex reasoning problems.☆21Jul 26, 2025Updated 7 months ago