krox Goto Github PK

algo

miscellaneous algorithms that dont fit into jive or math

boa

chalk

computer algebra with strong typing

chess-challenge

https://youtu.be/iScy18pVR58

coop

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

cryptominisat

An advanced SAT solver

dawn

another attempt at sat solving

dmd

dmd D Programming Language compiler

druntime

Low level runtime library for the D programming language

factorio-deadlock-experiments

gpt

A python measurement interface for Grid

grid

Data parallel C++ mathematical object library

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.

jive

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

lattice

experiments in evolutionary game theory on a 2D lattice

ldc

The LLVM-based D Compiler.

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

mir-random

Advanced Random Number Generators

nspt

bunch of lattice field theory using the Grid library

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