krox

jive

Collections library for D with STL-like value-semantics.

math

Random math bits and pieces. No specific purpose, mostly just routines for solving projecteuler.net.

mesh

simulation of quantum field theory on the lattice

zen

Sat solver library in rust. Personal toy project.

algo

miscellaneous algorithms that dont fit into jive or math

chalk

computer algebra with strong typing

dawn

another attempt at sat solving

Grid

Data parallel C++ mathematical object library

nspt

bunch of lattice field theory using the Grid library

Chess-Challenge

https://youtu.be/iScy18pVR58

coop

experiments in evolutionary game theory to investigate models for cooperation/altruism

cryptominisat

An advanced SAT solver

factorio-deadlock-experiments

gpt

A python measurement interface for Grid

Hadrons

Grid-based workflow management system for lattice field theory simulations

highprec

Efficient high precision floating point operations using the 'double-double' type.

hubbard

Simulation of the Hubbard model using determinant quantum Monte Carlo (DQMC) method.

lattice

experiments in evolutionary game theory on a 2D lattice

ldc

The LLVM-based D Compiler.

mir-random

Advanced Random Number Generators

phobos

The standard library of the D programming language

puck

Data analysis utilities based on numpy, minuit, and matplotlib

quda

QUDA is a library for performing calculations in lattice QCD on GPUs.

ray

toy raytracer

sat

My attempt at SAT solving. Not really state-of-the-art.

Scribe

A multi-file-format schema-based serialization library for C++.

slides

slides of talks I have given

SublimeClangFormat

A C++ code formatter based on Clang Format, for beautiful code with minimal effort in Sublime Text 3

tensorflow

Computation using data flow graphs for scalable machine learning

util

small utility library used in my other projects