pqnelson

economics-notes

Notes on classical economics

ml

A Study in Implementing Functional Programming Languages

exchangerxml

Automatically exported from code.google.com/p/exchangerxml

gambletron

Learning statistics through sabermetrics

surak

A Toy Automated Theorem Prover

toy-jvm

A Toy Model approximating the JVM architecture

activeuuid

Binary uuid keys in Rails

calculator

A calculator library for my calculations

clj-tokenizer

A simple wrapper of the Lucene text tokenizer

comp.lang.lisp-archive

congress

Public domain data collectors for the work of Congress, including legislation, amendments, and votes.

dsf-news

Emacs org-mode tools to download & cite news articles

for

Fallout-inspired roguelike

gofer

gofer by mark jones

hegel_bot

Hegel on twitter!

helf

Hugs

Mirror of the Hugs 98 projekt.

isacop

Isabelle integration of leanCoP

last1120c-cc

Compiler for early versions of C predating K from K&R

ltlc

Lambda-Typed Lambda Calculus

millerquest

Miller's Quest! - an epic tale of non-interactive adventure

net.lang.lisp-archive

numerical.JS

Random numerical analysis functions for JavaScript

openemacs

openemacs: A tiny emacs clone (≤ 1024 LOC, BSD-licensed) without any library dependencies

philosophy

Reading notes on philosophy

rest-example

A toy example for some REST-ful Clojure + jQuery code

sentence-similarity

A Clojure library that determines the similarity of 2 or more sentences.

system-fc-coq

tc

Reference type checker for the Lean theorem prover

yukawa-dark-matter

Numerical simulation of fermionic dark matter with Yukawa coupling