Giters
Thibault Dardinier (tdardinier)

tdardinier

Geek Repo

13

followers

8

following

3

stars

Home Page:https://dardinier.me/

Github PK Tool:Github PK Tool

Organizations
FStarLang

Thibault Dardinier's repositories

jtx

Language:JavaScriptStargazers:2Issues:2Issues:0

ad-hoc

Routing algorithms for ad hoc networks.

Language:PythonStargazers:1Issues:1Issues:0

tictactoe3d

Language:PythonStargazers:1Issues:1Issues:0

advent_code_2020

adventofcode.com

Language:PythonStargazers:0Issues:1Issues:0

advent_code_2021

Language:PythonStargazers:0Issues:1Issues:0

advent_code_2022

Language:PythonStargazers:0Issues:1Issues:0

BDD-Tetra

OCaml Library to manipulate Binary Decision Diagram (BDD) representing logic formulas, application to the resolution of tetravex

Language:OCamlStargazers:0Issues:1Issues:0

camr

Language:IsabelleStargazers:0Issues:1Issues:0

carbon

Verification-condition-generation-based verifier for the Viper intermediate verification language.

Language:IsabelleLicense:MPL-2.0Stargazers:0Issues:0Issues:0

CIL

Language:PythonStargazers:0Issues:1Issues:0

compiler

Language:OCamlStargazers:0Issues:1Issues:0

Google-Hash-Code-2017

Language:JavaStargazers:0Issues:2Issues:0

modal

Language:JavaStargazers:0Issues:1Issues:0

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.

Language:Objective-CStargazers:0Issues:1Issues:0

qlearning

Language:TeXStargazers:0Issues:1Issues:0

riai

Language:PythonStargazers:0Issues:1Issues:0

cleaning_duty

Language:HTMLStargazers:0Issues:2Issues:0

ColorMixer

Language:Objective-CStargazers:0Issues:1Issues:0

fifa

Language:HTMLStargazers:0Issues:1Issues:0

FStar

A Proof-oriented Programming Language

Language:F*License:Apache-2.0Stargazers:0Issues:0Issues:0

HyperHoareLogic

Language:IsabelleStargazers:0Issues:1Issues:0

InterGP

Language:PythonStargazers:0Issues:2Issues:0

malloc

Language:CStargazers:0Issues:1Issues:0

package_logic

Language:IsabelleLicense:MPL-2.0Stargazers:0Issues:1Issues:0

Polyomino

Language:JavaStargazers:0Issues:2Issues:0

silver

Definition of the Viper intermediate verification language.

Language:ScalaLicense:MPL-2.0Stargazers:0Issues:0Issues:0

TheCrazyGame

Language:Objective-CStargazers:0Issues:1Issues:0

under-the-bed

Language:C++License:MITStargazers:0Issues:1Issues:0

verifyThis2021

Language:PythonStargazers:0Issues:1Issues:0