Pinned Repositories
Caramel
Caramel - C Compiler
cards-client-rs
A superb cards game web app to play with friends.
fuite-rs
Ludum Dare 43 - A game where you have to escape... but will everybody make it?
genetic-snake-rs
Learning to play Snake with Genetic Algorithm.
master-thesis
Master Thesis - Experiments on automation of formal verification of devices at the binary level
nRGBlib
Official repository of nRGBlib, the colorful library for Ndless 3! [mirror]
pathbot
You're trapped in a maze without a map, and you need to feel your way out. Take a step and see what you can do next—it's up to you to map the path through the maze.
TGE
totorigolo's Game Engine
TicTac
Arduino-based inverted pendulum robot.
WiiQuizz
A Quiz game on PC using Wii remotes.
totorigolo's Repositories
totorigolo/Caramel
Caramel - C Compiler
totorigolo/nRGBlib
Official repository of nRGBlib, the colorful library for Ndless 3! [mirror]
totorigolo/TGE
totorigolo's Game Engine
totorigolo/WiiQuizz
A Quiz game on PC using Wii remotes.
totorigolo/master-thesis
Master Thesis - Experiments on automation of formal verification of devices at the binary level
totorigolo/TicTac
Arduino-based inverted pendulum robot.
totorigolo/cms
Contest Management System
totorigolo/cms-docker
totorigolo/codingbattle-2017
Les problèmes de la Coding Battle 2017, avec des corrections
totorigolo/codingbattle-2018
Problems of the ShaKer 2018 Coding Battle (English and French): statements, solutions, input / output
totorigolo/DepGraph
Dependency Graph generator for multiple languages
totorigolo/genetic_snake
totorigolo/HOL
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
totorigolo/HolmakeDepGraph
totorigolo/immutability-uniqueness-fearless-concurrency-slides
Slides for a paper presentation on "Uniqueness and Reference Immutability for Safe Parallelism", for the KTH Parallel and Distributed Computing course (Pardis18).
totorigolo/jiminy
Jiminy - Projet fil rouge 3IF 2016/2017 - INSA Lyon
totorigolo/kth-hol4-exercises
My solutions for the KTH HOL4 course - Interactive Theorem Proving
totorigolo/pfe-template
Template PFE - INSA Lyon (non officiel)
totorigolo/test-javafx
A simple JavaFX application.
totorigolo/vim-sml
Standard ML plugin for VIM
totorigolo/yap
Yet Another Parser