8l

abc

A B Compiler for x86

adb

a standalone-built version of android adb

bigloo-llvm

A new LLVM backend for the Bigloo Scheme system

coq-compile

A compiler for Coq

eight

Eight is a language built for metaprogramming. It's the language of heroes and mentats!

epoll_threadpool

A small, clean, linux-only thread-pool implementation using epoll with support for sockets, scheduled callbacks and TCP connections.

glendix

Porting the good stuff from Plan 9 to Linux

hue

A functional programming language

IaCa

experimental symbolic artificial intelligence language

keybinder

``keybinder`` is a library for registering global key bindings, for gtk-based applications. Python bindings included.

linux-live

Linux Live Kit

LISP

My attempt at implementing the original LISP paper while learning lisp. Nothing special, mostly posted as a homage to McCarthy.

lisp-1

A simple lisp implementation

mammon.github.com

Papers on reverse engineering and assembly language programming

nobus

Potential

x86-64 assembly as a Haskell EDSL

secd-1

SECD Machine Implementation in x86 Assembly

urscheme

wTerm

Terminal Emulator for webOS

x11

X11 experiments