snoyberg / routetype-rsView external linksLinks
Strongly typed routes for Rust
☆36Jul 17, 2021Updated 4 years ago
Alternatives and similar repositories for routetype-rs
Users that are interested in routetype-rs are comparing it to the libraries listed below
Sorting:
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- ☆12Dec 13, 2025Updated 2 months ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Notify Honeybadger about Haskell exceptions.☆12Jan 14, 2026Updated last month
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Functor-parametric containers☆20Jan 19, 2025Updated last year
- A curated list of awesome Haskell tutorial modules☆13Nov 9, 2025Updated 3 months ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Haskell types and instances for decoding GitHub webhook payloads.☆39Sep 12, 2025Updated 5 months ago
- single node kafka implementation☆13Apr 27, 2018Updated 7 years ago
- The NixOS Asia website☆14Dec 22, 2025Updated last month
- Small Prolog☆14Dec 8, 2016Updated 9 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆16Jan 31, 2021Updated 5 years ago
- A simple tool for visualising differences in Criterion benchmark results☆14Apr 11, 2025Updated 10 months ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 5 years ago
- Utility for managing credentials securely in AWS cloud☆19Jun 15, 2023Updated 2 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- ☆18Mar 24, 2021Updated 4 years ago
- Automation for releasing haskell packages☆19May 22, 2023Updated 2 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- Make monorepos with Nix flakes☆20May 25, 2022Updated 3 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago