A Haskell roguelike toolkit
☆12Jul 10, 2025Updated 7 months ago
Alternatives and similar repositories for roguefunctor
Users that are interested in roguefunctor are comparing it to the libraries listed below
Sorting:
- Low level Haskell bindings to the BearLibTerminal graphics library.☆21Jul 22, 2025Updated 7 months ago
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆21Jan 31, 2026Updated last month
- An rewrite of Think DSP: Digital Signal Processing in Python, by Allen B. Downey using Haskell☆10Nov 25, 2024Updated last year
- Format buffers visually without modification☆11Aug 2, 2025Updated 6 months ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Aug 19, 2024Updated last year
- ☆17Apr 4, 2024Updated last year
- Drawing dekstop widgets with Emacs a lá Conky☆17Nov 21, 2021Updated 4 years ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- ☆23May 25, 2025Updated 9 months ago
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"☆15Jan 26, 2021Updated 5 years ago
- A shell prompt with infinite customization☆39Jun 16, 2024Updated last year
- functional spreadsheet programming☆23Mar 30, 2025Updated 11 months ago
- a code counter!☆22Dec 22, 2024Updated last year
- The Hazy Haskell Compiler☆55Updated this week
- A simple functional programming language.☆22Jun 3, 2021Updated 4 years ago
- A simple, lightweight library for ANSI styling.☆24Oct 30, 2025Updated 4 months ago
- A graphical user interface for implicitcad☆25Dec 15, 2020Updated 5 years ago
- A Wayland compositor written in Haskell, providing a configurable and programmable window management system. This project implements the …☆69Oct 26, 2025Updated 4 months ago
- Pure, statically typed, content-addressable, programming language for spreadsheet use☆29May 2, 2023Updated 2 years ago
- ☆30Oct 20, 2025Updated 4 months ago
- Extensible type-safe unions for Haskell☆34Mar 15, 2025Updated 11 months ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- Code auditing mode for Emacs☆35Feb 22, 2019Updated 7 years ago
- Tag files with colors in Dired☆31Jul 13, 2023Updated 2 years ago
- A Haskell project template for Advent of Code solutions.☆33Nov 30, 2023Updated 2 years ago
- A prototype for a monadic program logic in Lean that has since been upstreamed into the Lean 4 repo☆37Jun 27, 2025Updated 8 months ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated 3 weeks ago
- Morte IDE☆29Apr 3, 2025Updated 10 months ago
- An experimental programming language that combines effect handlers and implicit parameters☆40Updated this week
- small programming language. pls be gentle.☆39Feb 3, 2026Updated 3 weeks ago
- A library with an encoding of higher kinded types in OCaml☆43Jan 15, 2026Updated last month
- Geodesic updates for Nickel & Kiela's graph embedding algorithm in hyperbolic space.☆11Jun 6, 2018Updated 7 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- A playground for parsers, type checkers, interpreters, compilers, etc.☆41Jan 6, 2025Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Just toys☆10Mar 5, 2023Updated 2 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆50Oct 25, 2025Updated 4 months ago