caphindsight

TrulyQuantumChess

A game of truly quantum chess, with interference, entanglement, etc.

ergothic

Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.

capnp-bazel-example

Cap'n Proto + Bazel example repo

Octonions

Mathematica packages for computations on octonionic and split-octonionic algebras.

bazel_rules

Rules for bazel

BraidSum

Calculating sums of Artin braid groups

CDT-plusplus

Causal Dynamical Triangulations in C++ using the CGAL library

cobalt.rs

Static site generator written in Rust

drun

Run CLI tools in docker images

fits-rs

FITS encoder and decoder in Rust

godot

Godot Engine – Multi-platform 2D and 3D game engine

hindsight-zsh-theme

Simple theme for oh-my-zsh

i3

Configuration for i3 window manager

isolate

Sandbox for securely executing untrusted programs

Latex

mkp224o

vanity address generator for tor onion v3 (ed25519) hidden services

mmark

Strict markdown processor for writers

mmark-cli-dockerized

Dockerized version of https://hackage.haskell.org/package/mmark-cli

plugdown

plugdown - markdown parser with plugins based on smu (simple markup)

powerlevel9k

The most awesome Powerline theme for ZSH around!

pycapnp

rust-convex-polygon

Convex polygon search algorithm (Graham's algorithm) implemented in Rust

sc

Common libraries and data structures for C.

ssl-proxy

:lock: Simple zero-config SSL reverse proxy with real autogenerated certificates (LetsEncrypt, self-signed, provided)

Testo

tmux

vdneg

Poker calculator in Rust

VkCli

VK CLI Client

zipperposition

An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting

zsh-syntax-highlighting

Fish shell like syntax highlighting for Zsh.