namin/docker-py
Public repository.
Developer Profile
namin
Discovered public repositories for namin in the GitHub catalog.
namin/scheme-mechanics
Public repository.
namin/CodeMirror
In-browser code editor
namin/webmk
miniKanren for interactive tutorials on the web
namin/io.livecode.ch
interactive programming tutorials, powered by Github and Docker
namin/codemirror-movie
A plugin for CodeMirror 2 for code demo
namin/orchard-client
Orchard CLI and Python API
namin/The-Nature-of-Code
Raw source of The Nature of Code book as well as Processing examples.
namin/metamk
Prolog-Style Meta-Interpreters in miniKanren
namin/grk2clj
From Greek to Clojure, Clojure/conj 2013
namin/reactive-programming-scala
Public repository.
namin/scalogno
prototyping logic programming in Scala
namin/twelf
The Twelf Programming Language (mirror of SVN repository)
namin/ometa-js-projects
Public repository.
namin/lambda-cube
Public repository.
namin/lambdajam
Workshop on Program Transformations
namin/elegant-weapons
An R6RS framework for creating compilers that target C.
namin/racket
The Racket repository
namin/leipzig
A composition library for Overtone.
namin/clpset-miniKanren
CLP(Set) in miniKanren
namin/.emacs.d
Public repository.
namin/relational-cesk
Relational implementation of the CESK machine
namin/minikanren-confo
core.logic.nominal at the minikanren confo 2013
namin/lms-prob
Public repository.
namin/relational-parsing-with-derivatives
Relational version of parsing with derivatives code
namin/logically
explorations in core.logic
namin/steps
open, extensible composition models
namin/leanTAP
A Declarative Theorem Prover for First-Order Classical Logic
namin/core.logic
Public repository.
namin/sugarj
Library-based Language Extensibility
namin/TAPL-in-miniKanren-cKanren-core.logic
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
namin/higher-rank
Practical type inference for arbitrary-rank types
namin/dafny-sandbox
Dafny for Metatheory of Programming Languages
namin/lms-tutorial
Public repository.
namin/torch-demos
Demos and tutorials around Torch7.
namin/ouistiti
Public repository.
namin/lua---csv
A package to read and write CSV. Provides high-level database-like handlers.
namin/pd-for-android
Pure Data for Android
namin/MusicalBubbles
Public repository.
namin/linkrev
Public repository.
namin/spark
Scala framework for iterative and interactive cluster computing.
namin/commoncrawl-examples
A library of examples showing how to use the Common Crawl corpus.
namin/xmonad-ubuntu-conf
My xmonad config for Ubuntu 12.04, including package list, config files, and instructions.
namin/scalastyle-plugin
Eclipse Plugin for Scalastyle
namin/maven-repository
Public repository.
namin/scalastyle
scalastyle
namin/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
namin/emacs-live
M-x start-hacking
namin/overtone
Collaborative Programmable Music
namin/lms-regexp
Public repository.