Pinned Loading

1. mdcat mdcat Public

   cat for markdown

   Rust 69 7

2. tiny-redis tiny-redis Public

   A Redis-compatible server written in Rust

   Rust

3. random-art random-art Public

   This project generates random art images based on a grammar that defines a set of operations and how they can be combined. The grammar uses a seed to produce a tree-like structure of operations, wh…

   Rust 1

4. ibn-battuta ibn-battuta Public

   A Rust Library for Solving the Travelling Salesman Problem (TSP)

   Rust 1

5. CoqHM CoqHM Public

   Formally Verified Hindley-Milner Type Inference in Coq

   Rocq Prover 1

6. sifr sifr Public

   Compile-time information flow control for Rust. Labels sensitive values at the type level; the compiler rejects unsafe flows.

   Rust