TomasPuverle

Pinned Repositories

Idris2
A purely functional programming language with first class types
Language:Idris2.6k 64 1.2k380
fp-lean
Functional Programming in Lean
Language:JavaScript73 5 16022
lean4
Lean 4 programming language and theorem prover
Language:Lean4.9k 67 2k446
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++943 41 859210
souffle-lang.github.io
Soufflé
Language:HTML7 9 1962
spack
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
Language:Python4.5k 99 8.6k2.3k
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:Makefile0 0 00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
dill
serialize all of Python
Language:Python2.3k 24 512182
vowpal_wabbit
Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive learning.
Language:C++8.5k 351 1.3k1.9k

TomasPuverle's Repositories

TomasPuverle/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
Language:Makefile0 0 00
TomasPuverle/lean4
Lean 4 programming language and theorem prover
Language:Lean00