Pinned Repositories
miniAdapton
a minimal implementation of incremental computation in Scheme
djf-guile
Some Guile Scheme code I have found useful
avgai
A VGA Implementation
best-language
The Best Programming Language
cryptographic-commitment-experiment
djf-muKanren
Yet another muKanren clone
fisherdj.github.io
GitHub website
misc
Various miscellaneous source code
faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
netsec-project
fisherdj's Repositories
fisherdj/best-language
The Best Programming Language
fisherdj/fisherdj.github.io
GitHub website
fisherdj/cryptographic-commitment-experiment
fisherdj/avgai
A VGA Implementation
fisherdj/miniAdapton
a minimal implementation of incremental computation in Scheme
fisherdj/djf-muKanren
Yet another muKanren clone
fisherdj/djf-guile
Some Guile Scheme code I have found useful
fisherdj/misc
Various miscellaneous source code