thyrgle

vim-dyon

Vim syntax highlighting for Dyon language

Game

2016 Fall

coc-isabelle

Because PIDE is not my editor.

collatz_fractal

Collatz fractal generator.

imastack

Dumb stack-oriented language.

kelleybioinfo

(In progress) Rewrite of kelleybioinfo.org

comfy-website

Website for comfy

divisor-experiments

Evasiveness-Project

Paper for 191 2017 Spring

fto1

Four to one server and stuff

ga99

Simulated annealing for Conway's 99 Conjecture

GamescraftersNotes

gamesman

Gamesman Rust

GamesmanAkka

Gamesman API implemented with Akka

GamesmanCPP

lean-client-js

mathlib

Lean mathematical components library

mesa

Mesa is an agent-based modeling framework in Python

mgan

mhcflurry

Peptide-MHC I binding affinity prediction

minesweeper-flags-client

Client for Minesweeper Flags Extreme

MonteCarlo

Approximate Pi with Monte Carlo simulation.

natural_number_game

Building the natural numbers in Lean.

PDB

Small java game

pdb-frontend

frontend of the pdb server

plaidml

PlaidML is a framework for making deep learning work everywhere.

real-number-game

A gamification of the theorems in MATH40002 Analysis 1

reanimate

Haskell library for building declarative animations based on SVG graphics

SparkTiered

Spark repo for tiered games.

tellurium

Python Environment for Modeling and Simulating Biological Systems