Nicolas Grislain's repositories
awesome-differential-privacy
list of differential-privacy related repositories
Awesome-Differential-Privacy-1
Differential private machine learning
alephd.github.io
Public content about ad-tech, analytics and optimization
Language:JavaScript000
awesome-python
A curated list of awesome Python frameworks, libraries, software and resources
Language:PythonNOASSERTION000
awesome-rust
A curated list of Rust code and resources.
Language:RustCC0-1.0000
eim
EiM
Language:C++000
000
Apache-2.0000
lean4
Lean 4 programming language and theorem prover
Apache-2.0000
LeanDojo
Tool for data extraction and interacting with Lean programmatically.
MIT000
mathlib4
The math library of Lean 4
Apache-2.0000
ngrislain.github.io
A blog about data science and more
Language:JavaScript000
sqlparser-rs
Extensible SQL Lexer and Parser for Rust
Apache-2.0000
std4
Standard Library for Lean 4
Apache-2.0000