Albert Chen's starred repositories
staged-miniKanren
staged relational interpreters: running with holes, faster
core.logic
A logic programming library for Clojure & ClojureScript
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
microKanren
The implementation of microKanren, a featherweight relational programming language
metaKanren
Relational interpreter for miniKanren, in miniKanren.
clojure-essential-reference
Code examples from "Clojure: The Essential Reference" book by Manning.
semantic-protein-folding
Experiments in protein folding through language modeling
awesome-theravada
Curated list of Theravada Buddhist teachings
palipced.github.io
pced pali tipitaka canon electronic dictionary
hypergraph
Hypergraph is data structure library to create a directed hypergraph in which a hyperedge can join any number of vertices.
ProtoQuipper
Implementation of the Proto-Quipper language
company-coq
A Coq IDE build on top of Proof General's Coq mode
QuantumLib
Coq library for reasoning about quantum programs
quipper-language
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)