jessica-taylor

hashlattice

A distributed network based on hash codes and lattices.

mcmc-synthesis

MCMC applied to program synthesis

gigascaling

Scaling blockchains to billions of daily users

hashlattice_rs

hashlattice in Rust

elproto

Prototype for elb reversible probabilistic programming

Bayes-Factory

Universal Bayesian generative model software

haskell-wasm

Haskell WebAssembly Toolkit

node-forum

Forum in node

node-hashlattice

virtual-bartender

Dialogue system for ordering drinks

amqp.node

AMQP 0-9-1 library and client for Node.JS

chess-prep

Chess preparation forking software

contracts

Bancor Protocol Contracts

cryptocat

Easy to use encrypted instant messaging built on modern web technologies.

delay-game

escape-duty

Chrome extension for using procrastination as an opportunity to reflect

gl-neuron

OpenGL neural networks

guile-hashlattice

linear-logic

Linear logic theorem prover

llm-reminder-bot

Twitter/X bot to remind people of things using LLM for parsing

logic-systems

Exploratory code for dealing with logic systems and syntax for them (e.g. linear logic)

mercatoria_rust

Rust version of Mercatoria

nash-approval

Exploring voting systems based on finding the Nash equilibrium of some other voting system. WE NEED TO GO DEEPER.

node-webrtc

WebRTC stack for node.js

pomodoro

Pomodoro timer web app

quipp2

Lazy functional probabilistic programming

quipp3

Qualitative probabilistic programming

reaptor

A deterministic VM

vimpc

Official repository for vimpc a vi/vim inspired client for the Music Player Daemon (mpd). Pull requests are welcome.

worktimer

Command line pomodoro timer