A programming language that focuses on type safety with Lisp simplicity. In essence, the typed lambda calculus, with some added features like polymorphic type variables and algebraic data types. Includes a parser, type checker, and interpreter. For educational purposes.
Boolean satisfiability Haskell library to help you solve those NP-hard problems.
Calculates the true cost of your spending. Written in Elm.
Path-planning demo running Dijkstra and A*. A study in ClojureScript, Om and core.async.
A demo of the k-means clustering algorithm written in Clojure and Quill.
Stream live HD video for conferences.
Get a robot from Point A to Point B. Path-planning library in Python.