m00nlight

CoCo

This is the CoCo Virtual Machine Source Code.

hakank

My public programs and models - mostly combinatorial problems and puzzles

microKanren

The implementation of microKanren, a featherweight relational programming language

SML-The-Living-Language

SML, The Living Language (aka, Successor ML)

python-constraint

Constraint Solving Problem resolver for Python

core.logic

A logic programming library for Clojure & ClojureScript

icfpc2015

My solo entry for the 2015 ICFP Contest - http://2015.icfpcontest.org/

clpfd

Constraint Logic Programming over Finite Domains

carousel-3d

Extremely easy 3D Carousel slider jQuery plugin supporting IE8, IE9

eopl3

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

github-cheat-sheet

A list of cool features of Git and GitHub.

emacs-fsharp-mode

F# Emacs mode

haskell-style-guide

A style guide for Haskell code.

hindent

Haskell pretty printer

tincan

Blackberry 10 native IRC app

j-bob

yagni

A Leiningen plugin for finding dead code

clj-pronouncing

A simple interface to the CMU Pronouncing Dictionary.

html5slides

Automatically exported from code.google.com/p/html5slides

impress.js

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

test.check

QuickCheck for Clojure

awesome-elixir

A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

AcmPaper

prolog-examples

Some simple examples for new Prolog programmers

erlog

Prolog interpreter in and for Erlang

djvu-tools

Ruby toolbox for manipulating DjVu files.

courses

Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1

eval-in-repl

Consistent ESS-like eval interface for various REPLs

shellcheck

ShellCheck, a static analysis tool for shell scripts

EOPL

My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.