A quine that plays snake over its own source!

𝑛-Body and Extended Body Gravitation for Kerbal Space Program

Modern C++ quantum computing library

Real-time interactive fractal zoomer

Simple Theorem Prover, an efficient SMT solver for bitvectors

A multithreaded, distributed, GPU-accelerated simulator of quantum computers

My fork of https://github.com/taichi-dev/taichi

Soar, a general cognitive architecture for systems that exhibit intelligent behavior.

My take on a SpotMicro with an optimized design for supportfree 3D-printing. It utilizes an ESP32-DevKitC for the low-level control of the electronics. The heavy computation will be made by externa…

The Fast Downward domain-independent classical planning system

SNAP Python code, SWIG related files

Reddcoin: the digital social currency

Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge

A Parallel SAT Solver with GPU Accelerated Inprocessing

Abstraction layer for painlessly building object oriented distributed systems that just work

Flexible Quantum Circuit Simulator (qFlex) implements an efficient tensor network, CPU-based simulator of large quantum circuits.

External rendering for PyBullet

An object-oriented component library supporting radiation transport applications.

Myriadcoin cryptocurrency - Repository for community driven development

A Tutorial on The Reference Platform for AI and Robotics Research and Education

Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html

Primary implementation of the Venture probabilistic programming system

Numenta's experimental C++ research code. Please see htmresearch for more details.

Interpreter of the Avalon programming language.

Lazy Receding Horizon A*

Quantum Computation Language port from http://tph.tuwien.ac.at/~oemer/qcl.html

Programming language research and translation framework from my high school years. See my "ari" repository for an updated version written in sexy Clojure.[category:cognitive]

N-Body Gravitation and Better Integrators for Kerbal Space Program

Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.