Théo Degioanni's repositories
kira-web-demo
Demonstration of what one can do using Kira
macroboard
Turn any keyboard into a macro key board
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
advisory-db
Security advisory database for Rust crates published through crates.io
circt
Circuit IR Compilers and Tools
Language:C++NOASSERTION000
dumpster
Cycle-tracking garbage collector library for Rust
GPL-3.0000
dyn-dialect
A repository to test dialects defined dynamically.
NOASSERTION000
melior
The rustic MLIR bindings in Rust
Language:RustApache-2.0000
pedago-rennes
Matériel utilisé dans les cours Pédago1 et Pédago2 de l'ENS Rennes
000
polonius.next
experimental datalog rules for a next gen polonius
symlix-web
Static site generator for symlix.fr
warqueen
Networking thingy
000
xdsl
A Python Compiler Design Toolkit
Language:PythonNOASSERTION000