Pinned Loading

1. typeway typeway Public

   A type-level web framework for Rust where your entire API is described as a type. Servers, clients, and OpenAPI schemas are all derived from that single type definition. If the types compile, the p…

   Rust

2. resolute resolute Public

   A ground-up PostgreSQL client stack for Rust. Compile-time checked queries, binary wire protocol, async connection pool. No dependencies on tokio-postgres, sqlx, deadpool, bb8, or any other existin…

   Rust

3. acolyte acolyte Public

   A reimagining of the ideas pioneered by Haskell's servant and Rust's typeway, axum, tower, & tonic. A composable, type-safe web framework for Haskell. Your API is a type, your middleware is tracked…

   Haskell 1

4. valiant valiant Public

   A ground-up PostgreSQL client stack for Haskell. Compile-time checked queries, binary wire protocol, async connection pool. Inspired by Rust's sqlx & resolute crates, built from scratch for Haskell.

   Haskell 1

5. proptest-lockstep proptest-lockstep Public

   Lockstep-style stateful property testing for Rust, with 236 machine-checked metatheory theorems in Lean 4. A reimagining of Haskell's quickcheck-lockstep using Rust's type system: GATs, type equali…

   Rust

6. elm-ast elm-ast Public

   Inspired by syn, elm-ast is a Rust library for parsing and constructing Elm 0.19.1 ASTs.

   Rust 14