David Nolen's repositories
async-tests
Having fun with core.async
hs-compilers
Compilers Made Easy talk
clojurescript
Clojure to JS compiler
alphaKanren
Understanding the alphaKanren implementation
core.async
Facilities for async programming and communication in Clojure
nyt-gen-talk
Code for the NYT ES6 Generators talk tomorrow
js-snippets
JavaScript yasnippets
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
An introduction to Bayesian methods + probabilistic programming in data analysis with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)
typed-clojure
Gradual typing for Clojure
elegant-weapons
An R6RS framework for creating compilers that target C.
TAPL-in-miniKanren-cKanren-core.logic
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
zrch-logic
Logic Programming examples from Zurich Clojure Meetup
aomclp
Slides from Clojure/West Confo talk
cljs-noderepl
A ClojureScript REPL running on Node.JS
cljs-perf
ClojureScript benchmarks
javascriptcore-api-test
Experiments with the new Objective-C API for JavaScriptCore
leanTAP
A Declarative Theorem Prover for First-Order Classical Logic
logically
Explorations in core.logic
miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
react-bench
Benchmarks for the ReactJS framework
session
A system for social computing
techmesh-cljs
TechMesh Conference ClojureScript Demo Code
techmesh-logic
TechMesh Conference Logic Demo Code