Pinned Repositories
.dotfiles
My configuration files
ant-colony
Ant simulation project for university at the end of L1
Arrakis
[mirror :-] RISC-V Simulator for education
C_programming_language
My notes on the book The C programming language
CompCert
The CompCert formally-verified C compiler
diqt
Formalization of hashtables with Radix trees and PArray in Coq
Keylogger
it is a keylogger with two different clients one for linux and the other for windows and a server that compiles under linux only
miniml
OCaml subset interpreter
poyuterm
A puyo puyo game within terminal for college
Soya
Object oriented langage optimising compiler
valoran-M's Repositories
valoran-M/ant-colony
Ant simulation project for university at the end of L1
valoran-M/C_programming_language
My notes on the book The C programming language
valoran-M/Arrakis
[mirror :-] RISC-V Simulator for education
valoran-M/diqt
Formalization of hashtables with Radix trees and PArray in Coq
valoran-M/Keylogger
it is a keylogger with two different clients one for linux and the other for windows and a server that compiles under linux only
valoran-M/Soya
Object oriented langage optimising compiler
valoran-M/.dotfiles
My configuration files
valoran-M/miniml
OCaml subset interpreter
valoran-M/totten
valoran-M/zenbook-home-manger
Configuration of nixos on my laptop with home manager.
valoran-M/ARP-spoofing
valoran-M/asus_driver_touchpad
valoran-M/CompCert
The CompCert formally-verified C compiler
valoran-M/Forbidden_island
valoran-M/valoran-M
valoran-M/aoc2023
valoran-M/arrakis.vim
valoran-M/compit
Makes compiling and running your code from inside NeoVim enjoyable.
valoran-M/course_note_m1
valoran-M/gruvbox.nvim
Lua port of the most famous vim colorscheme
valoran-M/Latex_diagram
Small collection of latex patterns
valoran-M/Louis-a-dit
A joke...
valoran-M/misc-builder
valoran-M/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
valoran-M/opam-repository
Main public package repository for opam, the source package manager of OCaml.
valoran-M/ppfa
projet de Programmation Fonctionnelle Avancée
valoran-M/river
A dynamic tiling Wayland compositor
valoran-M/TierList
valoran-M/valorant-s_corp
valoran-M/zenbook-nix-system
my nix system config