Searched:

agg

* Maxim Shemanarev

Benjamin Pierce

* Pict

* Unison and lens combinators

* TAPL

Bjorn Freeman-Benson

* DeltaBlue

** Cassowary

* CoolDraw

** HotDraw

*** Ward Cunningham and Kent Beck

cairo (cairographics.org)

cmaes, the covariance matrix adaptation evolution strategy (www.lri.fr/~hansen/cmaesintro.html)

* Nikolaus Hansen

Curry-Howard Isomorphism

Datalog

* bddbddb

** buddy, minibdd, other bdd libraries

* John Ramsdell's datalog-in-lua

** John Ramsdell's programmer's minesweeper

David Cope

* Emmy / EMI / Emily Howell

Diomidis Spinellis

* dds.c

* UMLgraph

Don Libes

* expect

Doug McIlroy

* Engineering a sort function

* McIlroy-Hunt diff

* Suffix Array

DrPetter (www.drpetter.se)

* sfxr

* musagi (project_musagi.html)

esterel / cec-0.4

Farbrausch

* kkrunchy

* werkkzeug?

Freek Wiedijk

* Automath

* Coq

haru

IOCCC

John Tromp

* Fhourstones connect four benchmark

* ioccc maze

* ioccc tetris

* the lazy-k language

Ken Kahn

* Prolog-in-maclisp

* ToonTalk

Lennart Augustsson

* LPC

* IOCCC

* NetBSD

* Djinn and lots of other Haskell things

love

Lua Missions

Marc Stiegler

* David's Sling

* Earthweb

* Caja

Mark S Miller

* E language

* Agorics

* Caja

Maxwell Krohn

* tame

* tamer

** Eddie Kohler

* okcupid

** Chris Coyne

*** Context Free Art (www.contextfreeart.org)

Michael Feathers

* CppUnitLite

nesC

ncurses (ftp://invisible-island.net/ncurses)

* Thomas Dickey

Peter Clark

* TaleSpin

* CN2

Python Koans

Richard Hipp

* SQLite

* mkheaders

* Fossil

* lemon

Robin Hanson

* market scoring rule

Ruby Koans

Sequitur

* Abbadingo

* Gowachin

* Omphalos

Squeak: A language for communicating with mice

* Luca Cardelli

* Rob Pike

Steve Freeman

Steven Ganz

* trampoline interpreter

Steven Skiena

* Programming Challenges

* Algorithm Design Manual

* Calculated Bets

Tim Budd

* LittleSmalltalk

* CN2

Torben Mogensen

* Nicolas Devillard and the fast median search

* Basics of Compiler Design

Van Noord

* FSATools (http://www.let.rug.nl/~vannoord/Fsa/)

VeryTinyProlog

* Bill and Bev Thompson

People and projects to search for on Github:

minisat (minisat.se)

* Niklas Een

* Niklas Sorensen

lua

* Roberto Ierusalimschy

* Luiz H. de Figueiredo

* Waldemar Celes

* iup

** luajit

*** Mike Pall

supermemo

* Piotr Wozniak

busybox

quines (biquines? multiquines)

literate programming

batchelder's cog

Ken Forbus

Peter Norvig (code.google.com/p/aima-python)

Dave Hanson

Todd Proebsting

rpcgen

Andreas Zeller (delta debugging)

Stephanie Weirich

Melanie Mitchell

gtk-server

Andrej Bauer

Michael Feathers

* Maybe depend.sh, churn metrics, Vise

Steve Freeman and Nat Pryce

* Growing Object Oriented Software

concordance

Olin Shivers

Olivier Danvy

Oleg Kiselyov

* Hansei (with Chung-chieh Shan)

Daniel Friedman

nulkukel (haskell irc bot)

geordi (C++ irc bot)

a tiny occam compiler / interpreter?

Chris Pressey

John Tromp and the gecode constraint solver?

Daniel J Bernstein

fishwick's simpack

Fabrice Bellard

* lzexe

* tcc

* ffmpeg

* qemu and jslinux

icfp

John Ousterhout (tcl/tk)

bond graphs

petri nets

ludum dare

the auto-compose tool from ludum dare

other demoscene groups? rgba?

Kragen Sitaker

* torus

* bicycleta

Kevin Reid

googlemock

Simon Tatham

* puzzle collection apis

The J incunabulum

Russ Cox

* plan9/thread/task/coroutine libraries, go lang stuff

* regexp / finite automata stuff

Soar

* John Laird

* Bob Mariner

* Joseph Wu

* Miller Tinkerhess

* Nate Derbinsky

* Randy Jones

* Shiwali Mohan

* Rete/UL

** Doorenbos

** Expergent (code.google.com/p/expergent)

** pychinko

** cwm

** cwmclone

Andrew Appel

* Rogomatic

* Compiling with Continuations

* Modern Compiler implementation? in C/Java/ML

Physically Based Rendering

Cosma and Kristina Shalizi

MagicHaskeller

Sean Barrett

QuickCheck

SmallCheck

matplotlib

zlib/libpng

Agda

Zarf Plotkin

* a z-machine interpreter or two

* Shade, Hunter in Darkness and other if games

Newell Rose

* Runestone Wisp

Jackson Structured Programming

Norman Ramsey

* C--

* noweb

Peter Schickele

Raymond Smullyan

Edmund Grimley-Evans (homepage.ntlworld.com/edmund.grimley-evans)

* bcompiler

* cc500

Greaser's Autotracker-C

Turchin supercompilation project

* Sergei Romanenko?

Mike Thyer's lazy specialization

partial evaluation (www.dina.kvl.dk/~sestoft/pebook)

* c-mix

** Lars Ole Anderson

* similix

** Bondorf and Olivier Danvy

* pypy

** Armin Rigo? cfbolz? tav?

Project Euler

Rosetta Code

jsprolog at ioctl.org

Tim Tyler's matching pennies contest

Frank Buss's (and Dr. Dobbs) Mars Rescue programming contest (frank-buss.de/marsrescue)

automatically describing images for human consumption

* compressing images relative to that description?

* brute force?

* partial evaluate a renderer, and read the output code instead of running it?

general game playing

* code.google.com/p/ggp-base

* code.google.com/p/ggp-galaxy

rl-glue

Ken Thompson's regular expression search algorithm

ROSE / librose, a source-to-source transformation project/tool/library

cellular automata

* searching for useful components, gliders and reactions and wires and gates.

* abstract circuits / machines that can be ported from one rule to another easily

* ferociously partially-evaluating a rule and a pattern, to the point where a register machine implemented in wireworld becomes something like C code manipulating registers

automatic differentiation

the mysteryfcm treasure trove:chris.mysteryfcm.co.uk/?f=

Phong Vo's cdt library (www.research.att.com/software_tools)