Pinned Loading

1. yukino-dev yukino-dev Public

   A type-driven and high-performance ORM framework in Rust

   Rust 25 1

2. annotation-rs annotation-rs Public

   Compile-time annotation parser for rust

   Rust 11 1

3. quote-data quote-data Public

   A tokenization library for Rust

   Rust 5

4. top-dt-cpp top-dt-cpp Public

   A toy dependently typed language implementation in C++

   C++ 3

5. apollo-typst apollo-typst Public template

   Typst blog template based on Zola, typst.ts, and apollo.

   JavaScript 22 1

6. ty-ops ty-ops Public

   Type level simply typed lambda calculus in rust

   Rust 6