Jacob's repositories
CasualTheoremProver
A kernel using inference rules in order to compute the three of proves.
DNA_Algorithmic
Some algorithms about sequences matching and protein foldings according to given interactions rules
GraphExplorer
Some parallel methods designed to explore the graph of characters from the univers of Star Wars, using the open database of Wookiepedia
mx-exchange-sc
Smart contracts for a decentralized exchange written in Rust
OptimizationMethodsForDifferentialEquation
Implements some Gradient descent (optimal step, moving step, etc.) in order to get an efficient method to solve numerically some differential equations
SoundAcquisitionAndCorrection
Elementary pieces of codes that allows the signal perception and the correction of the rhythm
Statistics-Guesswhat
Establishing a panel of statistics about the guesswhat Question Generator of https://github.com/GuessWhatGame/guesswhat
TopologicalBarcode
Compute the Barcodes of topological spaces
UnsupervisedAlgorithmTrafficLondon
Several clustering methods used on some datasets from LondonTube such as the pollutions rates in the city and the bike/tube traffic