Pinned Repositories
kona
Open-source implementation of the K programming language
kona.github.io
Kona website
191_Final_Project
Final Paper for Knot Theory Class
coc-isabelle
Because PIDE is not my editor.
collatz_fractal
Collatz fractal generator.
Game
2016 Fall
imastack
Dumb stack-oriented language.
kelleybioinfo
(In progress) Rewrite of kelleybioinfo.org
vim-dyon
Vim syntax highlighting for Dyon language
thyrgle's Repositories
thyrgle/vim-dyon
Vim syntax highlighting for Dyon language
thyrgle/Game
2016 Fall
thyrgle/coc-isabelle
Because PIDE is not my editor.
thyrgle/collatz_fractal
Collatz fractal generator.
thyrgle/imastack
Dumb stack-oriented language.
thyrgle/kelleybioinfo
(In progress) Rewrite of kelleybioinfo.org
thyrgle/comfy-website
Website for comfy
thyrgle/divisor-experiments
thyrgle/Evasiveness-Project
Paper for 191 2017 Spring
thyrgle/fto1
Four to one server and stuff
thyrgle/ga99
Simulated annealing for Conway's 99 Conjecture
thyrgle/GamescraftersNotes
thyrgle/gamesman
Gamesman Rust
thyrgle/GamesmanAkka
Gamesman API implemented with Akka
thyrgle/GamesmanCPP
thyrgle/lean-client-js
thyrgle/mathlib
Lean mathematical components library
thyrgle/mesa
Mesa is an agent-based modeling framework in Python
thyrgle/mgan
thyrgle/mhcflurry
Peptide-MHC I binding affinity prediction
thyrgle/minesweeper-flags-client
Client for Minesweeper Flags Extreme
thyrgle/MonteCarlo
Approximate Pi with Monte Carlo simulation.
thyrgle/natural_number_game
Building the natural numbers in Lean.
thyrgle/PDB
Small java game
thyrgle/pdb-frontend
frontend of the pdb server
thyrgle/plaidml
PlaidML is a framework for making deep learning work everywhere.
thyrgle/real-number-game
A gamification of the theorems in MATH40002 Analysis 1
thyrgle/reanimate
Haskell library for building declarative animations based on SVG graphics
thyrgle/SparkTiered
Spark repo for tiered games.
thyrgle/tellurium
Python Environment for Modeling and Simulating Biological Systems