Beast code in Giters

Théophile Wallez's repositories

carotte.py

Simple HDL shallowly embedded in Python, for the "Systèmes numériques" course at ENS Paris

Language:PythonCC0-1.06 2 2

acm-book

ACM book for ENS Ulm

Language:C++4 50

fstar-lsp

LSP server for F*, as a proxy for `fstar.exe --ide`

Language:RustGPL-3.03 10

SuperOS

Project for the "Systèmes et réseaux" course at ENS Ulm

Language:C++MIT3 3 2

2sidePllTrainer

2-side pll recognition trainer, using rubik.js

Language:JavaScript2 20

rubik.js

A javascript library, to have some nice 3d rubik's cube animations.

Language:JavaScriptZlib200

Dotfiles

My dotfiles

Language:Lua1 20

fstar.nvim

Neovim mode for F*

Language:Vim ScriptApache-2.01 10

GwaBall

The game with a Ball

Language:C++MPL-2.01 20

lcf-star

Prove like you're using LCF, but in F*

Language:F*MIT1 20

miam

Du manger !!!

Language:HTML1 30

mpv-party

Like Netflix Party, but for mpv

Language:C++1 20

SimpleBrainfuck

Brainfuck made simple

Language:C++1 30

TIPE

Language:C++1 30

TWalErgo

An ergonomic keyboard I'm currently designing

1 20

comparse

Language:F*030

GwaBall-ThirdParty

Third party source code for GwaBall

020

imacs

Intelligent Multi-Agent Chores Scheduler

Language:PythonMIT010

PLS_Lighting_Software

Proof of concept for a DMX engine written in Python developped by the PLS lighting club at ENS

Language:PythonMIT030

TLSCollisionFinder

Find collisions between two TLS-serialized structures

Language:C++GPL-3.0010

TwistySolver

Library to solve twisty puzzles

Language:C++020

unv_bullet

Blah.

Language:C++NOASSERTION020