Discover mratsim/Synthesis Open Source project

A state-of-the-art multithreading runtime: message-passing based, fast, scalable, ultra-low overhead

1,329

weave

Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

516

constantine

Amazon Forest Computer Vision: Satellite Image tagging code using PyTorch / Keras with lots of PyTorch tricks

378

Amazon-Forest-Computer-Vision

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

363

laser

Archlinux PKGBUILDs for Data Science, Machine Learning, Deep Learning, NLP and Computer Vision

255

trace-of-radiance

An educational raytracer

Arch-Data-Science

Shell

home-credit-default-risk

Default risk prediction for Home Credit competition - Fast, scalable and maintainable SQL-based feature engineering pipeline

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

McKinsey-SmartCities-Traffic-Prediction

Loop efficiently over a variadic number of containers

loop-fusion

A Go bot written in Rust with Monte Carlo Tree Search & a brain dump on go bot optimizations

rustygo

Rust

number-theory

Give integers super-powers!

A low-overhead JIT assembler for Nim

photon-jit

glyph

WIP Snes emulator

Predict people interest in renting specific NYC apartments. The challenge combines structured data, geolocalization, time data, free text and images.

Apartment-Interest-Prediction

A latency and fairness optimized threadpool. Tuned for async IO and decent for compute tasks.

weave-io

A Chip-8 emulator written in Nim

chirp8

Kaggle Humpback whale identification: 2xGPU Data augmentation + FP16 mixed precision training

humpback-whale-identification

A lightweight interactive data visualization library

monocle

Reinforcement Learning Agents & Algorithms exploration

weave-io-research

HTML

agent-smith

Autograd (backpropagation, reverse-mode auto differentiation) in Nim

nim-rmad

My solution for the competition "Le meilleur data scientist de France 2018" (Best Data Scientist of France 2018)

meilleur-data-scientist-france-2018

Experiments in lexing, parsing, interpreting, VM and JITs

jitterland

Experimental finite field primitives (and maybe more)

finite-fields

Exploration of primes, factorization and number theory through haskell

talks

A repo of my talks

haskell-numbertheory

Haskell

golem-prime

A Go bot written in Nim

Experiments in compute graph optimisations and ML and HPC compilers frontend

compute-graph-optim

Solving Project Euler math problems through Nim language (https://projecteuler.net)

nim-project-euler

Blockchain: Safe & fast interfacing network blocks and attestations with Casper FFG finality & LMD Ghost fork choice

blocksmith

A Nim wrapper for CLBlast, a tuned OpenCL BLAS library

nim-clblast

hydra

Parametric Integer Linear Programming Solver and Polyhedral compilation backend

A wrapper for isl - the Integer Set Library for manipulating sets and relations of integer points bounded by linear constraints.

nim-isl

iOS/Android Financial Calculator written in React Native + Typescript

ReactFincal

TypeScript

MachineLearning_Kaggle

Kaggle Data Science & Machine Learning competitions - using Python or Julia

Nim solution to https://nextjournal.com/sdanisch/the-julia-challenge

nim-julia-challenge

Batch reencode videos to AV1 using ffmpeg

batch-reencode

From hundreds of flow cytometry CSV files to cleaned up Excel file, ready for GraphPad copy-paste.

Biostatistics-CSVtoGraphPad