ngrislain

Co-founder and CSO of @sarus-tech

Sarus TechnologiesParis

Pinned Repositories

arena
A place to evaluate public models
Language:Jupyter Notebook2 2 210
alephd.github.io
Public content about ad-tech, analytics and optimization
Language:JavaScript0 2 00
awesome-differential-privacy
list of differential-privacy related repositories
2 1 01
Awesome-Differential-Privacy-1
Differential private machine learning
Language:Python2 1 02
awesome-python
A curated list of awesome Python frameworks, libraries, software and resources
Language:Python00
awesome-rust
A curated list of Rust code and resources.
Language:Rust0 0 00
fast_hash
Language:Java1 2 01
qrlew
Language:Rust40 1 1211

ngrislain's Repositories

ngrislain/awesome-differential-privacy
list of differential-privacy related repositories
2 1 01
ngrislain/Awesome-Differential-Privacy-1
Differential private machine learning
Language:Python2 1 02
ngrislain/fast_hash
Language:Java1 2 01
ngrislain/alephd.github.io
Public content about ad-tech, analytics and optimization
Language:JavaScript0 2 00
ngrislain/awesome-python
A curated list of awesome Python frameworks, libraries, software and resources
Language:Python00
ngrislain/awesome-rust
A curated list of Rust code and resources.
Language:Rust0 0 00
ngrislain/eim
EiM
Language:C++0 2 00
ngrislain/furniture
2 0
ngrislain/lean-gym
Language:Lean0 0
ngrislain/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0
ngrislain/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language:Python0 0
ngrislain/mathlib4
The math library of Lean 4
Language:Lean0 0
ngrislain/ngrislain.github.io
A blog about data science and more
Language:JavaScript
ngrislain/sqlparser-rs
Extensible SQL Lexer and Parser for Rust
ngrislain/std4
Standard Library for Lean 4
Language:Lean0 0