Pinned Loading

1. FerrOS FerrOS Public

   FerrOS is a school project aiming at building an minimalist micro-kernel OS. We chose to write it using the Rust language. We started by following Philipp Oppermann's own project (https://os.phil-o…

   Rust 6

2. hd-mp3 hd-mp3 Public

   HID driver for the Hercules DJ Control MP3 controller with support for advanced LED blinking and button on-update methods

   Zig 1

3. boxdot/gurk-rs boxdot/gurk-rs Public

   Signal Messenger client for terminal

   Rust 546 37

4. arlustre arlustre Public

   Arduino interface for the Heptagon synchronous dataflow-oriented language written in Zig.

   Zig 1

5. Petit-Julia-2020 Petit-Julia-2020 Public

   Projet dans le cadre du cours de compilation, ENS, 2020

   OCaml 1

6. samsa1/ppx_rml samsa1/ppx_rml Public

   A ppx-based implementation of ReactiveML

   OCaml