Pinned Repositories
2sidePllTrainer
2-side pll recognition trainer, using rubik.js
acm-book
ACM book for ENS Ulm
carotte.py
Simple HDL shallowly embedded in Python, for the "Systèmes numériques" course at ENS Paris
fstar-lsp
LSP server for F*, as a proxy for `fstar.exe --ide`
fstar.nvim
Neovim mode for F*
GwaBall
The game with a Ball
rubik.js
A javascript library, to have some nice 3d rubik's cube animations.
SuperOS
Project for the "Systèmes et réseaux" course at ENS Ulm
TWal's Repositories
TWal/carotte.py
Simple HDL shallowly embedded in Python, for the "Systèmes numériques" course at ENS Paris
TWal/acm-book
ACM book for ENS Ulm
TWal/SuperOS
Project for the "Systèmes et réseaux" course at ENS Ulm
TWal/2sidePllTrainer
2-side pll recognition trainer, using rubik.js
TWal/fstar-lsp
LSP server for F*, as a proxy for `fstar.exe --ide`
TWal/rubik.js
A javascript library, to have some nice 3d rubik's cube animations.
TWal/Dotfiles
My dotfiles
TWal/fstar.nvim
Neovim mode for F*
TWal/GwaBall
The game with a Ball
TWal/lcf-star
Prove like you're using LCF, but in F*
TWal/miam
Du manger !!!
TWal/mpv-party
Like Netflix Party, but for mpv
TWal/SimpleBrainfuck
Brainfuck made simple
TWal/TIPE
TWal/TWalErgo
An ergonomic keyboard I'm currently designing
TWal/comparse
TWal/draft-ietf-tls-ctls
TWal/FStar
Verification system for effectful programs
TWal/GwaBall-ThirdParty
Third party source code for GwaBall
TWal/imacs
Intelligent Multi-Agent Chores Scheduler
TWal/mimi-delivery-service
MIMI Delivery Service
TWal/mls-architecture
MLS architecture
TWal/mls-extensions
TWal/mls-implementations
Coordination of implementation and interop specific details
TWal/mls-protocol
MLS protocol
TWal/PLS_Lighting_Software
Proof of concept for a DMX engine written in Python developped by the PLS lighting club at ENS
TWal/sardine
Python's missing "algorave" module
TWal/TLSCollisionFinder
Find collisions between two TLS-serialized structures
TWal/TwistySolver
Library to solve twisty puzzles
TWal/unv_bullet
Blah.