Ethereum Blockchain R&D ✦ ZK Cryptography Engineering ✦ Data Scientist ✦ High Performance, Parallel, Scientific and GPU computing
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
1.4kweave. A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead
585constantine. Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
496Amazon-Forest-Computer-Vision. Amazon Forest Computer Vision: Satellite Image tagging code using PyTorch / Keras with lots of PyTorch tricks
371laser. 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
295trace-of-radiance. An educational raytracer
105Synthesis. Synthesis is a compiletime, procedure-based, low-overhead, no-allocation, state-machine generator optimized for communicating processes and threads
99Arch-Data-Science. Archlinux PKGBUILDs for Data Science, Machine Learning, Deep Learning, NLP and Computer Vision
97home-credit-default-risk. Default risk prediction for Home Credit competition - Fast, scalable and maintainable SQL-based feature engineering pipeline
81McKinsey-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
62loop-fusion. Loop efficiently over a variadic number of containers
41rustygo. A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations
28photon-jit. A low-overhead JIT assembler for Nim
20number-theory. Give integers super-powers!
20agent-smith. Reinforcement Learning Agents & Algorithms exploration
19weave-io. A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.
19Apartment-Interest-Prediction. Predict people interest in renting specific NYC apartments. The challenge combines structured data, geolocalization, time data, free text and images.
18glyph. WIP Snes emulator
17chirp8. A Chip-8 emulator written in Nim
16weave-io-research. HTML
15monocle. A lightweight interactive data visualization library
14humpback-whale-identification. Kaggle Humpback whale identification: 2xGPU Data augmentation + FP16 mixed precision training
14nim-rmad. Autograd (backpropagation, reverse-mode auto differentiation) in Nim
12meilleur-data-scientist-france-2018. My solution for the competition "Le meilleur data scientist de France 2018" (Best Data Scientist of France 2018)
12talks. A repo of my talks
11finite-fields. Experimental finite field primitives (and maybe more)
11blocksmith. Blocksmith: Safe & fast interfacing network blocks and attestations with Casper FFG finality & LMD Ghost fork choice
10haskell-numbertheory. Exploration of primes, factorization and number theory through haskell
10golem-prime. A Go bot written in Nim
9compute-graph-optim. Experiments in compute graph optimisations and ML and HPC compilers frontend
9jitterland. Experiments in lexing, parsing, interpreting, VM and JITs
9quantizers. LLM quantization scripts
9nim-project-euler. Solving Project Euler math problems through Nim language (https://projecteuler.net)
8nim-clblast. A Nim wrapper for CLBlast, a tuned OpenCL BLAS library
7nim-isl. A wrapper for isl - the Integer Set Library for manipulating sets and relations of integer points bounded by linear constraints.
7hydra. Parametric Integer Linear Programming Solver and Polyhedral compilation backend
7ReactFincal. iOS/Android Financial Calculator written in React Native + Typescript
5MachineLearning_Kaggle. Kaggle Data Science & Machine Learning competitions - using Python or Julia
3batch-reencode. Batch reencode videos to AV1 using ffmpeg
3nim-julia-challenge. Nim solution to https://nextjournal.com/sdanisch/the-julia-challenge
2ff-arm64. Experiments in accelerating finite fields on ARM64
2