Flávio Cruz

cross-hurd. Scripts for cross-compiling and creating an Hurd system

meld. Meld virtual machine.

XSB. XSB Prolog

cl-meld. Meld compiler written in Common Lisp

yap. YAP is a high-performance Prolog compiler

gnumach. Fork of gnumach

cl-hurd. Common Lisp

CL-Pi-Calculus. An interpreter for a language based on the Pi-Calculus

paip. Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp code

mig. Fork of GNU MIG that understands C

GoogleInterviews. Problems for the interviews.

cl-funcpar. Parallel abstractions for Common Lisp

cl-yacc. Fork of the CL-Yacc project

yap-examples. Dump of test programs: for sync & backup

yaptab-tests. YapTab Tests

hurd. Fork of hurd

glibc. C

formal-meld. TeX