Pinned Repositories
ad-hoc
Routing algorithms for ad hoc networks.
advent_code_2020
adventofcode.com
advent_code_2021
advent_code_2022
BDD-Tetra
OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas, application to the resolution of tetravex
camr
carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
CIL
jtx
tictactoe3d
tdardinier's Repositories
tdardinier/jtx
tdardinier/ad-hoc
Routing algorithms for ad hoc networks.
tdardinier/tictactoe3d
tdardinier/advent_code_2020
adventofcode.com
tdardinier/advent_code_2021
tdardinier/advent_code_2022
tdardinier/BDD-Tetra
OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas, application to the resolution of tetravex
tdardinier/camr
tdardinier/carbon
Verification-condition-generation-based verifier for the Viper intermediate verification language.
tdardinier/CIL
tdardinier/compiler
tdardinier/Google-Hash-Code-2017
tdardinier/modal
tdardinier/MonsterTroc2
Monster Troc is a two-player turn-based game on iOS in which one must destroy the enemy battery in order to win. Each player can summon different monsters with different powers and control his monsters (moving and attacking), on the board.
tdardinier/qlearning
tdardinier/riai
tdardinier/cleaning_duty
tdardinier/ColorMixer
tdardinier/fifa
tdardinier/FStar
A Proof-oriented Programming Language
tdardinier/HyperHoareLogic
tdardinier/InterGP
tdardinier/malloc
tdardinier/package_logic
tdardinier/Polyomino
tdardinier/silver
Definition of the Viper intermediate verification language.
tdardinier/TheCrazyGame
tdardinier/under-the-bed
tdardinier/verifyThis2021