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/fontsize.nvim
A simple GUI fontsize handling plugin for Neovim
Sup3Legacy/Craft-your-IC-assembler
Sup3Legacy/Scheduino
OS-like platform for Arduino
Sup3Legacy/arlustre
Arduino interface for the Heptagon synchronous dataflow-oriented language written in Zig.
Sup3Legacy/json.nvim
JSON plugin for Neovim, forked from https://github.com/rxi/json.lua
Sup3Legacy/lightswitch.nvim
A simple light/dark-theme switching plugin for Neovim
Sup3Legacy/qemu
Sup3Legacy/stack-bitset
A small and no-alloc implementation of bitset
Sup3Legacy/Sup3Legacy
Sup3Legacy/4A-edt
Timetable library
Sup3Legacy/anagram
QEMU simulation backend and baremetal testsuite for the anagRAM attack family
Sup3Legacy/apcminimk2-py
WIP Python interface for the Aika APC mini mk2 pad
Sup3Legacy/ArduinoStar
Sup3Legacy/au-rs
Sup3Legacy/game-of-life
A simple Game of Life simulation
Sup3Legacy/git-customs
A WIP Git identities utility
Sup3Legacy/guess-that-lang
CLI game to see how fast you can guess the language of a code block!
Sup3Legacy/gurk-rs
Signal Messenger client for terminal
Sup3Legacy/macrojazz
Sup3Legacy/macrojazz.vim
Sup3Legacy/nixpkgs
Nix Packages collection & NixOS
Sup3Legacy/proto-core
Attempt at building entirely from scratch a RISC-V SoC for self-education purposes.
Sup3Legacy/rtos
A scheduler for your TaskWarrior backlog to your CalDAV
Sup3Legacy/rv-trng-tt05
Sup3Legacy/sinavir
Sup3Legacy/SmallArray
Implementation of SmallVecs in Lean. Project mostly for self education purposes
Sup3Legacy/tt04-cyic
WIP TinyTapeout4 project
Sup3Legacy/why3.vim
Sup3Legacy/wordle
Wordle TUI in Rust
Sup3Legacy/zig-ring-buffer
Smal lock-free thread-safe ring buffer implementation in Zig (WIP)