Popular repositories Loading

1. openapi3 openapi3 Public

   Forked from biocad/openapi3

   OpenAPI 3.0 data model

   Haskell

2. falsify falsify Public

   Forked from well-typed/falsify

   Haskell

3. hyperconsole hyperconsole Public

   Strictly better superconsole: diff-based terminal TUI with io_uring optimization

   Haskell

4. straylight-llm straylight-llm Public

   Production-grade OpenAI-compatible LLM gateway with verified types, effect tracking, and cryptographic discharge proofs

   Haskell

5. hs-blake3 hs-blake3 Public

   Forked from k0001/hs-blake3

   Haskell bindings the official BLAKE3 hashing algorithm implementation

   Assembly

6. nix2gpu nix2gpu Public

   Forked from fleek-sh/nix2gpu

   Nix module system that generates containers for GPU markets like vast.ai or runpod.io

   Nix