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
- ☆22Jan 7, 2026Updated last month
- A rusty, dual-wielding Quake and Half-Life texture WAD parser.☆21Apr 2, 2024Updated last year
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated last year
- ☆44Jun 6, 2019Updated 6 years ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- Servant combinators for writing secure GitHub webhooks☆17Aug 23, 2023Updated 2 years ago
- Single Page Web Applications in Idris☆27Nov 22, 2025Updated 2 months ago
- High-resolution clock functions: monotonic, realtime, cputime.☆59Aug 9, 2023Updated 2 years ago
- ☆19Apr 5, 2024Updated last year
- Authentication middleware that secures WAI application☆23Jan 17, 2024Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.☆21Apr 3, 2024Updated last year
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 5 months ago
- A minimal language inspired by Lisp and Haskell☆20Jul 5, 2020Updated 5 years ago