MartinJakomin

Pinned Repositories

recsystf
Recommender systems with TensorFlow - DS-ULFRI workshop materials
Language:Jupyter Notebook2 1 02
gspread-formatting
Cell formatting support for gspread
Language:Python00
lvr-Coq
Sorting algorithm proved by Coq
Language:Coq20
lvr-sat
SAT solver
Language:Python20
PiplMesh
"Network me."
Language:Python10
protobuf
Protocol Buffers for Go with Gadgets
Language:Go00
SIMF
SIMF using SGD
Language:Python2 2 00
PiplMesh
A social info portal for wireless networks.
Language:Python39 11 13619

MartinJakomin's Repositories

MartinJakomin/lvr-Coq
Sorting algorithm proved by Coq
Language:Coq20
MartinJakomin/lvr-sat
SAT solver
Language:Python20
MartinJakomin/SIMF
SIMF using SGD
Language:Python2 2 00
MartinJakomin/PiplMesh
"Network me."
Language:Python10
MartinJakomin/gspread-formatting
Cell formatting support for gspread
Language:Python00
MartinJakomin/protobuf
Protocol Buffers for Go with Gadgets
Language:Go00