cs-t1

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

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.
Language:Rust60
hd-mp3
HID driver for the Hercules DJ Control MP3 controller with support for advanced LED blinking and button on-update methods
Language:Zig10
gurk-rs
Signal Messenger client for terminal
Language:Rust54237
arlustre
Arduino interface for the Heptagon synchronous dataflow-oriented language written in Zig.
Language:Zig10
Petit-Julia-2020
Projet dans le cadre du cours de compilation, ENS, 2020
Language:OCaml10
ppx_rml
A ppx-based implementation of ReactiveML
Language:OCaml00
fontsize.nvim
A simple GUI fontsize handling plugin for Neovim
Language:Lua41
Craft-your-IC-assembler
Language:OCaml20
FerrOS-project
Language:Rust21
Scheduino
OS-like platform for Arduino
Language:Zig20

cs-t1's Repositories

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