tomsib2001's repositories
freeton_wallet
The 'ft' tool is a multi-account terminal wallet for the Free TON blockchain. It is based on the freeton_ocaml_sdk.
combine
OCaml library for combinatorics
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.
coq-nat-parsing-article
Coq Nat Parsing plugin article
CoqFP_complex_mult_FMA
Formalisation of the paper Error Bounds On Complex Floating Point multiplication with FMA
dry-analyzer
Dr. Y's Ethereum Contract Analyzer
euler393caml
Project Euler 393 in Ocaml
euler501
code for Project Euler 501
speaker-recognition
Student project for speaker recognition.
freeton-ocaml-sdk
Tooling for FreeTON in OCaml
mpi_topologies
Some diffusion on several elementary diffusion algorithms for INF442
orisi
Oracle and client source code [START HERE]
Pretty_Floats_Coq
Parsing and printing floats in Coq.
tiling-conjecture
attempt to get insight into a combinatorics conjecture about tiling a square with tiles made of pairs of paths of length n.