Pinned Repositories
cryptator
A constraint-based cryptarithm solver
about-me
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
Advent-Of-Code
Advent of Code solutions in Ocaml
All-Intervall-Series
An implementation of the All Interval Series problem in CP
Annotator-and-Mask-Predictior
Projet Fissore, Galbiati & Venturelli
AoC
Battery-Notifier
A Java project to popup you if battery level is too low, or too high
Learning-And-More
An implementation of some Active Learning algorithms
TimeToTank
3D Game project with Babylon.js
RAM_language_interpreter
Interpréteur de language RAM en python avec interface graphique.
FissoreD's Repositories
FissoreD/about-me
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
FissoreD/Advent-Of-Code
Advent of Code solutions in Ocaml
FissoreD/All-Intervall-Series
An implementation of the All Interval Series problem in CP
FissoreD/Annotator-and-Mask-Predictior
Projet Fissore, Galbiati & Venturelli
FissoreD/AoC
FissoreD/Battery-Notifier
A Java project to popup you if battery level is too low, or too high
FissoreD/Learning-And-More
An implementation of some Active Learning algorithms
FissoreD/TimeToTank
3D Game project with Babylon.js
FissoreD/BD_project
Base de données pour un petit magasin de vente
FissoreD/Binary-Constraint-Solver
A binary-constraint solver using the algorithms: AC-3, AC-4, AC-6 and AC-2001
FissoreD/Biological-neuron-in-Model-Checking
Implementation of a biological neuron with the probabilistic model checker PRISM
FissoreD/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
FissoreD/coq-elpi
Coq plugin embedding elpi
FissoreD/CryptatorApp
ReactNative App for Cryptator game
FissoreD/elpi
Embeddable Lambda Prolog Interpreter
FissoreD/elpi2html
React project to display elpi database
FissoreD/GamesOnWeb2023
3D games in BabylonJS
FissoreD/HO-unif-for-free
FissoreD/Interval-Theory-in-CP
A tool to visualize Intervals in CP
FissoreD/Introduction-to-Deep-Learning
Introduction to Deep Learning
FissoreD/iris
FissoreD/Path-Color-Switching
TER with Mr. Jean-Charles Régin
FissoreD/PDF-joiner
PDF-joiner
FissoreD/pygments
Pygments is a generic syntax highlighter written in Python
FissoreD/Question-Answering-to-Natural-Language
FissoreD/Reaction-System
FissoreD/TER-M1-S2
Travail encadré de recherche - Printemps 2022
FissoreD/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]