Pinned Repositories
cl-funcpar
Parallel abstractions for Common Lisp
cl-hurd
cl-meld
Meld compiler written in Common Lisp
CL-Pi-Calculus
An interpreter for a language based on the Pi-Calculus
cross-hurd
Scripts for cross-compiling and creating an Hurd system
gnumach
Fork of gnumach
meld
Meld virtual machine.
paip
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp code
XSB
XSB Prolog
yap
YAP is a high-performance Prolog compiler
flavioc's Repositories
flavioc/cross-hurd
Scripts for cross-compiling and creating an Hurd system
flavioc/meld
Meld virtual machine.
flavioc/cl-meld
Meld compiler written in Common Lisp
flavioc/XSB
XSB Prolog
flavioc/yap
YAP is a high-performance Prolog compiler
flavioc/cl-hurd
flavioc/gnumach
Fork of gnumach
flavioc/CL-Pi-Calculus
An interpreter for a language based on the Pi-Calculus
flavioc/paip
Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp code
flavioc/cl-funcpar
Parallel abstractions for Common Lisp
flavioc/GoogleInterviews
Problems for the interviews.
flavioc/cl-yacc
Fork of the CL-Yacc project
flavioc/mig
Fork of GNU MIG that understands C
flavioc/yap-examples
Dump of test programs: for sync & backup
flavioc/yaptab-tests
YapTab Tests
flavioc/formal-meld
flavioc/glibc
flavioc/bazel.nvim
bazel plugin for nvim
flavioc/binutils-gdb
flavioc/flavioc.github.io
flavioc/gcc
flavioc/hurd
Fork of hurd
flavioc/ibmc-bio-db
Automatically exported from code.google.com/p/ibmc-bio-db
flavioc/ligra
Ligra: A Lightweight Graph Processing Framework for Shared Memory
flavioc/littlebookos
flavioc/misc
Misc stuff
flavioc/pkgsrc
Automatic conversion of the NetBSD pkgsrc CVS module, use with care
flavioc/sbcl
Mirror of Steel Bank Common Lisp (SBCL)'s official repository
flavioc/vector
A high-performance observability data pipeline.
flavioc/vrl
Vector Remap Language