Sup3Legacy
Computer science, Esperanto and aviation enthusiast. Love formal verification, (embedded) systems programming and functionnal/synchronous/reactive languages
École Normale Supérieure, Paris.Paris
Pinned Repositories
gurk-rs
Signal Messenger client for terminal
ppx_rml
A ppx-based implementation of ReactiveML
arlustre
Arduino interface for the Heptagon synchronous dataflow-oriented language written in Zig.
Craft-your-IC-assembler
FerrOS
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-opp.com/) and are currently extending it ourselves.
FerrOS-project
fontsize.nvim
A simple GUI fontsize handling plugin for Neovim
hd-mp3
HID driver for the Hercules DJ Control MP3 controller with support for advanced LED blinking and button on-update methods
Petit-Julia-2020
Projet dans le cadre du cours de compilation, ENS, 2020
Scheduino
OS-like platform for Arduino
Sup3Legacy's Repositories
Sup3Legacy/FerrOS
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-opp.com/) and are currently extending it ourselves.
Sup3Legacy/FerrOS-project
Sup3Legacy/FerrOS-librust
Sup3Legacy/hd-mp3
HID driver for the Hercules DJ Control MP3 controller with support for advanced LED blinking and button on-update methods
Sup3Legacy/Petit-Julia-2020
Projet dans le cadre du cours de compilation, ENS, 2020
Sup3Legacy/analizilo
Sup3Legacy/bootloader
An experimental pure-Rust x86 bootloader
Sup3Legacy/Co-Induction
Sup3Legacy/conzig
Zig library for handling simple configuration files
Sup3Legacy/Corrusting
Sup3Legacy/eczig
ECC library for Zig, making use of the language's comptime features. It uses type reflection to automatize in-depth data extraction
Sup3Legacy/ensnano
ENSnano, a 3D graphical application for DNA nanostructures.
Sup3Legacy/feather
A Minecraft server implementation in Rust
Sup3Legacy/fstar-exps
Sup3Legacy/GAN-nam-Style
Sup3Legacy/gyro
A Zig package manager with an index, build runner, and build dependencies.
Sup3Legacy/haskell-exps
Sup3Legacy/heptagon
Sup3Legacy/jekyll-theme-chirpy
A minimal, responsive, and powerful Jekyll theme for presenting professional writing
Sup3Legacy/Lambda-Coq
Sup3Legacy/ml_rrt_zig
Sup3Legacy/multi_stack_queue
Sup3Legacy/neowave
WIP VCD parser and waveform plugin for Neovim
Sup3Legacy/permut_o_rust
Sup3Legacy/riscv
Low level access to RISC-V processors
Sup3Legacy/rml
ReactiveML: a programming language for implementing interactive systems.
Sup3Legacy/Roguelike
An attempt to make a roguelike with Rust
Sup3Legacy/RosC-V
Highly configurable universal security-oriented RISC-V OS
Sup3Legacy/toyos-rs
Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
Sup3Legacy/zgit
(WIP) Git client written in pure Zig