Galois, Inc.
Results
16
repositories owned by
Galois, Inc.
dlkoopman
71
Stars
11
Forks
Watchers
A general-purpose Python package for Koopman theory using deep learning.
fancy-garbling
33
Stars
10
Forks
Watchers
Rust implementation of the BMR16 arithmetic garbling scheme.
scuttlebutt
15
Stars
2
Forks
Watchers
Multi-party computation utilities toolkit for rust
lean4-balance-car
41
Stars
9
Forks
Watchers
Lean4 port of Arduino balance car controller
pate
15
Stars
2
Forks
Watchers
Patches Assured up to Trace Equivalence