mratsim
Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing
@status-im @numforge Paris
Pinned Repositories
Amazon-Forest-Computer-Vision
Amazon Forest Computer Vision: Satellite Image tagging code using PyTorch / Keras with lots of PyTorch tricks
Arch-Data-Science
Archlinux PKGBUILDs for Data Science, Machine Learning, Deep Learning, NLP and Computer Vision
Arraymancer
A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and OpenCL backends
constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
home-credit-default-risk
Default risk prediction for Home Credit competition - Fast, scalable and maintainable SQL-based feature engineering pipeline
laser
The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for floats and integers
McKinsey-SmartCities-Traffic-Prediction
Adventure into using multi attention recurrent neural networks for time-series (city traffic) for the 2017-11-18 McKinsey IronMan (24h non-stop) prediction challenge
Synthesis
Synthesis is a compiletime, procedure-based, low-overhead, no-allocation, state-machine generator optimized for communicating processes and threads
trace-of-radiance
An educational raytracer
weave
A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead
mratsim's Repositories
mratsim/Arraymancer
A fast, ergonomic and portable tensor library in Nim with a deep learning focus for CPU, GPU and embedded devices via OpenMP, Cuda and OpenCL backends
mratsim/weave
A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead
mratsim/constantine
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
mratsim/Amazon-Forest-Computer-Vision
Amazon Forest Computer Vision: Satellite Image tagging code using PyTorch / Keras with lots of PyTorch tricks
mratsim/laser
The HPC toolbox: fused matrix multiplication, convolution, data-parallel strided tensor primitives, OpenMP facilities, SIMD, JIT Assembler, CPU detection, state-of-the-art vectorized BLAS for floats and integers
mratsim/trace-of-radiance
An educational raytracer
mratsim/Arch-Data-Science
Archlinux PKGBUILDs for Data Science, Machine Learning, Deep Learning, NLP and Computer Vision
mratsim/Synthesis
Synthesis is a compiletime, procedure-based, low-overhead, no-allocation, state-machine generator optimized for communicating processes and threads
mratsim/loop-fusion
Loop efficiently over a variadic number of containers
mratsim/number-theory
Give integers super-powers!
mratsim/photon-jit
A low-overhead JIT assembler for Nim
mratsim/weave-io
A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.
mratsim/weave-io-research
mratsim/finite-fields
Experimental finite field primitives (and maybe more)
mratsim/talks
A repo of my talks
mratsim/blocksmith
Blocksmith: Safe & fast interfacing network blocks and attestations with Casper FFG finality & LMD Ghost fork choice
mratsim/golem-prime
A Go bot written in Nim
mratsim/hydra
Parametric Integer Linear Programming Solver and Polyhedral compilation backend
mratsim/nim-clblast
A Nim wrapper for CLBlast, a tuned OpenCL BLAS library
mratsim/batch-reencode
Batch reencode videos to AV1 using ffmpeg
mratsim/cryptofuzz
Fuzzing cryptographic libraries. Magic bug printer go brrrr.
mratsim/jacobi-benchmarks
Benchmarks of a new algorithm to compute the Jacobi symbol
mratsim/draft-irtf-cfrg-bls-signature
mratsim/draft-irtf-cfrg-pairing-friendly-curves
https://datatracker.ietf.org/doc/draft-irtf-cfrg-pairing-friendly-curves/
mratsim/EIPs
The Ethereum Improvement Proposal repository
mratsim/ERCs
The Ethereum Request for Comment repository
mratsim/lean-euler
Exploration of Project Euler in Lean 4 language
mratsim/lita-xyz-benchmarks
A collection of code examples of other zkVMs for benchmarking purposes.
mratsim/nim-blscurve
Nim implementation of BLS signature scheme (Boneh-Lynn-Shacham) over Barreto-Lynn-Scott (BLS) curve BLS12-381
mratsim/superscalar-panda
An open-source GPU library for accelerating Zero-Knowledge-Proof(ZKP)