Pinned Repositories
Convertisseur-en-epicycloide
Convertit des images en un tracé par des épicycloïdes.
Craft-your-IC
Very Reduced Instruction Set Computer Five
Demineur
Jeux du démineur et algorithme de résolution.
Fourmis
Simulation de fourmis sur un tore.
ML-experiments
Some experiments to learn ML.
pjulia
A compiler for a fragment of julia.
UnionFind
Structure de donnée union find. Implémantation en Ocaml et en python. Application à la détermination de composantes connexes d'un graphe et au problème de l'abre couvrant de poids maximal.
sysnum2020
Projet de sysnum 2020
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.
gabriel-doriath-dohler's Repositories
gabriel-doriath-dohler/Demineur
Jeux du démineur et algorithme de résolution.
gabriel-doriath-dohler/Convertisseur-en-epicycloide
Convertit des images en un tracé par des épicycloïdes.
gabriel-doriath-dohler/Fourmis
Simulation de fourmis sur un tore.
gabriel-doriath-dohler/UnionFind
Structure de donnée union find. Implémantation en Ocaml et en python. Application à la détermination de composantes connexes d'un graphe et au problème de l'abre couvrant de poids maximal.
gabriel-doriath-dohler/Craft-your-IC
Very Reduced Instruction Set Computer Five
gabriel-doriath-dohler/stack-templates
My stack templates
gabriel-doriath-dohler/ML-experiments
Some experiments to learn ML.
gabriel-doriath-dohler/pjulia
A compiler for a fragment of julia.
gabriel-doriath-dohler/2022.nixcon.org
NixCon 2022 conference website
gabriel-doriath-dohler/comma
Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]
gabriel-doriath-dohler/Craft-your-IC-FSiC-2023
Slides for "Learning hardware design in the video game Minecraft" at FSiC 2023 (https://wiki.f-si.org/index.php/FSiC2023)
gabriel-doriath-dohler/cut-the-rope
An experiment to simulate ropes in Zig.
gabriel-doriath-dohler/dns.nix
A Nix DSL for DNS zone files
gabriel-doriath-dohler/FOSS-silicon-tools
Get FOSS tools for building silicon using nix
gabriel-doriath-dohler/goblin-signing
Subcrate for signing PE with Goblin
gabriel-doriath-dohler/godement-analyse-4
gabriel-doriath-dohler/haskell-music
Make music in Haskell!
gabriel-doriath-dohler/JeanMoulin
HSM
gabriel-doriath-dohler/lean4
Lean 4 programming language and theorem prover
gabriel-doriath-dohler/MCHPRS
A multithreaded Minecraft server built for redstone.
gabriel-doriath-dohler/mpri2-edt
Timetable library (instanciated for the MPRI Level 2 classes)
gabriel-doriath-dohler/nengo-spa
Implementation of the Semantic Pointer Architecture for Nengo
gabriel-doriath-dohler/nengo.github.io
Website with general information and pointers to subprojects
gabriel-doriath-dohler/nix-minecraft
An attempt to better support Minecraft-related content for the Nix ecosystem
gabriel-doriath-dohler/nixpkgs
Nix Packages collection & NixOS
gabriel-doriath-dohler/rust
Empowering everyone to build reliable and efficient software.
gabriel-doriath-dohler/tt04-cyic
WIP TinyTapeout4 project
gabriel-doriath-dohler/website
My website.