cage433 Goto Github PK

18th-brumaire

aether-spike

alex-profile

alisp

A Lisp 1 written in C

cage433-vim-ide-plugin

cage433-vim-utils

Sundry vim utilities

chalkproxy

Provides a central place to list test web servers and proxies for them so that urls have meaningful names

clairnote-scores

compiler

A place to put stuff while I learn compiler theory

cribbage

A cribbage engine

cs-video-courses

List of Computer Science courses with video lectures.

ctrlp.vim

Fuzzy file, buffer, mru, tag, etc finder.

cv

My CV

economic-systems

Playing with dynamic economic systems

euler

Solutions to some of the project Euler problems - in Haskel

flatbuffers

Memory Efficient Serialization Library

foundations

Development of the univalent foundations of mathematics in Coq

global_with_scala

A clone of [email protected]:lqoyzy/global_with_scala which seems to have disappeared

godley-values

Tools for the analysis of marsist economics, using Godley tables

gtypist-lesson-maker

Create random gtypist lessons

hcm-tools

hcmtools

Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.

home-directory

idea-workspace

init-scripts

.bashrc, .vimrc etc

jonesforth

Just a backup of the very nice Richard W.M. Jones Forth interpreter

jvm-performance

Performance testing framework

kashflow

A Ruby wrapper for the Kashflow API

language-ext

C# functional language extensions - a base class library for functional programming

lisp-ci

Continuous integration for CL projects