A compiler for language "memento"
☆29Jul 1, 2025Updated 8 months ago
Alternatives and similar repositories for memento-lang
Users that are interested in memento-lang are comparing it to the libraries listed below
Sorting:
- self-hosted programming language targeting x86-64☆20Aug 16, 2025Updated 6 months ago
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- Reproducible PureScript projects with Nix☆28Mar 1, 2026Updated last week
- Compositional Verification of Composite Byzantine Protocols☆13Aug 24, 2024Updated last year
- Mustache templates for Haskell. megaparsec -> parsec; stache -> microstache☆17Jan 15, 2025Updated last year
- Flexible generation of identicons in Haskell☆16Feb 2, 2026Updated last month
- Haskell bindings for the SDL3 library.☆21Feb 19, 2026Updated 2 weeks ago
- Graphviz code generation with Haskell☆18Jan 26, 2023Updated 3 years ago
- The Uguisu is a statically typed scripting language.☆18Sep 17, 2023Updated 2 years ago
- Low-level bindings to WebGPU☆15Aug 4, 2023Updated 2 years ago
- Latte's C Compiler☆23Feb 27, 2026Updated last week
- ☆23Jun 17, 2025Updated 8 months ago
- ☆66Feb 26, 2023Updated 3 years ago
- Sqlite v3 driver for HDBC☆21Feb 3, 2019Updated 7 years ago
- Chess game written in V programming language☆18Jul 16, 2024Updated last year
- Haskell suite library for name resolution☆53Apr 9, 2025Updated 10 months ago
- functional spreadsheet programming☆23Mar 30, 2025Updated 11 months ago
- Registry of PureScript packages and metadata about them☆51Updated this week
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆56Dec 15, 2025Updated 2 months ago
- Emacs major mode and related tools for Purescript☆24Jun 13, 2025Updated 8 months ago
- ☆26May 3, 2022Updated 3 years ago
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated last year
- Better errors when decoding JSON values☆31Apr 9, 2025Updated 10 months ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- A Setup.hs shim for running doctests☆31Jan 6, 2026Updated 2 months ago
- Fast 🐆, type-safe vectors for Purescript☆25Jan 4, 2026Updated 2 months ago
- Console based debugging functions☆27Sep 16, 2022Updated 3 years ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆35Feb 3, 2025Updated last year
- Wasm library for PureScript☆29Aug 2, 2024Updated last year
- ☆32Jan 26, 2026Updated last month
- Utility library [Haskell]☆90Jan 7, 2026Updated 2 months ago
- Haskell bindings to OpenGL (direct C bindings)☆47Jul 7, 2024Updated last year
- ☆29Jan 20, 2025Updated last year
- ☆38Mar 2, 2024Updated 2 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Jan 6, 2025Updated last year
- Minimalistic Markdown viewer/converter with built-in Css stylesheets support.☆26Jun 7, 2017Updated 8 years ago
- Haskell Test Framework☆55Jan 13, 2025Updated last year
- Call-by-need values☆30Jul 26, 2022Updated 3 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 6 years ago