mratsim/haskell-numbertheory

Stars
9
Rank 1,939,727 (Top 39 %)
Language
Haskell
Created about 8 years ago
Updated about 8 years ago

mratsim/haskell-numbertheory

mratsim

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Exploration of primes, factorization and number theory through haskell

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

weave

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

constantine

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

Amazon-Forest-Computer-Vision

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

Jupyter Notebook

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

trace-of-radiance

An educational raytracer

Arch-Data-Science

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

Synthesis

Synthesis is a compiletime, procedure-based, low-overhead, no-allocation, state-machine generator optimized for communicating processes and threads

home-credit-default-risk

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

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

Jupyter Notebook

loop-fusion

Loop efficiently over a variadic number of containers

rustygo

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

number-theory

Give integers super-powers!

photon-jit

A low-overhead JIT assembler for Nim

glyph

WIP Snes emulator

Apartment-Interest-Prediction

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

Jupyter Notebook

weave-io

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

chirp8

A Chip-8 emulator written in Nim

humpback-whale-identification

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

monocle

A lightweight interactive data visualization library

weave-io-research

agent-smith

Reinforcement Learning Agents & Algorithms exploration

nim-rmad

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

meilleur-data-scientist-france-2018

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

Jupyter Notebook

jitterland

Experiments in lexing, parsing, interpreting, VM and JITs

finite-fields

Experimental finite field primitives (and maybe more)

talks

A repo of my talks

golem-prime

A Go bot written in Nim

compute-graph-optim

Experiments in compute graph optimisations and ML and HPC compilers frontend

nim-project-euler

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

blocksmith

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

nim-clblast

A Nim wrapper for CLBlast, a tuned OpenCL BLAS library

hydra

Parametric Integer Linear Programming Solver and Polyhedral compilation backend

nim-isl

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

ReactFincal

iOS/Android Financial Calculator written in React Native + Typescript

MachineLearning_Kaggle

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

Jupyter Notebook

nim-julia-challenge

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

batch-reencode

Batch reencode videos to AV1 using ffmpeg

Biostatistics-CSVtoGraphPad

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