Pinned Loading

1. agda-cubical-multiset agda-cubical-multiset Public

   (Finite) multisets in Cubical Agda

   Agda 11

2. ctru-rt ctru-rt Public

   A WIP runtime crate to run Rust usermode code on the Nintendo 3DS

   Rust 3

3. metricq/metricq metricq/metricq Public

   🐼 A highly-scalable, distributed metric data processing framework based on RabbitMQ

   Shell 30 4

4. ctroller ctroller Public archive

   Use your 3DS as a gamepad on linux

   C 46 9

5. agda-index agda-index Public

   Poor man's Agda identifier indexing

   Rust 2 1

6. fractalbot fractalbot Public

   Rust 2