shin-sakata / CitrousView external linksLinks
Easy, Fast and Type-Safe Web Application Framework
☆32Jan 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for Citrous
Users that are interested in Citrous are comparing it to the libraries listed below
Sorting:
- Deep-embedded combinators for strategic rewriting.☆15Nov 24, 2021Updated 4 years ago
- An Erlang library for Merkle Trees.☆18Sep 28, 2017Updated 8 years ago
- Haskell library for non-deterministic pattern matching☆17Dec 21, 2025Updated last month
- Servant Example for Haskell Advent Calendar 2015☆14Jul 30, 2018Updated 7 years ago
- Example of using the servant web framework in Eta☆16Feb 5, 2018Updated 8 years ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Haskell plugin-based framework for any type of applications☆53Sep 24, 2023Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Mar 7, 2022Updated 3 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- SAMPLE: Elixir Application☆13Jan 26, 2021Updated 5 years ago
- Matcha Monday Webring☆12Dec 15, 2025Updated 2 months ago
- Aeternity virtual machines byte code modules☆14Apr 26, 2024Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated 2 weeks ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated 3 weeks ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆17Oct 30, 2020Updated 5 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆12Dec 2, 2021Updated 4 years ago
- ☆10Dec 19, 2018Updated 7 years ago
- ☆14Apr 17, 2022Updated 3 years ago
- Read and write images as massiv arrays☆13Oct 23, 2021Updated 4 years ago
- PLM: Product Lifecycle Management☆13Sep 25, 2019Updated 6 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Processing HTTP Content-Type and Accept headers☆14May 17, 2024Updated last year
- ↔️ tight ghci integration for vim☆17Oct 21, 2022Updated 3 years ago
- Publish & Subscribe☆13Dec 15, 2020Updated 5 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Happy Haskell Programming☆67Jun 9, 2025Updated 8 months ago
- Template Haskell Implementation of Egison Pattern Matching☆33Jul 13, 2020Updated 5 years ago
- 🛡️ CA: Certificate Authority. ДСТУ: 4145. ITU/IETF: 3279, 5755, 7030, X.509.☆20Jan 16, 2026Updated 3 weeks ago
- ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory☆17Aug 22, 2024Updated last year
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 7 years ago
- ☆41Dec 27, 2025Updated last month
- Extensible records, variants, structs, effects, tangles☆131Jun 26, 2025Updated 7 months ago
- Mocking and Specification Tool for API prototyping☆14Nov 28, 2022Updated 3 years ago
- Build AWS Lambda's with Haskell☆11Oct 26, 2022Updated 3 years ago