tdardinier Goto Github PK
Name: Thibault Dardinier
Type: User
Blog: https://dardinier.me/
Thibault Dardinier's Projects
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
cleaning_duty
colormixer
compiler
fifa
fstar
A Proof-oriented Programming Language
google-hash-code-2017
hyperhoarelogic
intergp
jtx
malloc
modal
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.
package_logic
polyomino
qlearning
riai
silver
Definition of the Viper intermediate verification language.
thecrazygame
tictactoe3d
under-the-bed
verifythis2021
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.