seckcoder/miniKanren
Canonical miniKanren implementation
Developer Profile
seckcoder
Discovered public repositories for seckcoder in the GitHub catalog.
seckcoder/TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
seckcoder/the-reasoned-schemer
All the logic programming code examples from the book "The Reasoned Schemer"
seckcoder/vim-seckcoder
seckcoder's custom vim plugins
seckcoder/mini-pysonar
a mini version of PySonar static analyzer
seckcoder/eopl3
Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
seckcoder/elegant-weapons
An R6RS framework for creating compilers that target C.
seckcoder/iu_c311
exercise for eopl and c311 of IU
seckcoder/the-little-schemer
All the Scheme code examples from the book "The Little Schemer"
seckcoder/css_mastery
demo for css
seckcoder/old-toys
weird code that taught me a lot
seckcoder/SICP-answers
我的 SICP 解题集
seckcoder/Spoon-Knife
This repo is for demonstration purposes only. Comments and issues may or may not be responded to.
seckcoder/sicp
my solutions to sicp
seckcoder/femtolisp
a lightweight, robust, scheme-like lisp implementation
seckcoder/python-challenge
Some of my solutions to python challenge
seckcoder/scikit-research
scikit-learn related comments, notes, docs, examples etc
seckcoder/scikit-learn
scikit-learn: machine learning in Python
seckcoder/bash-test
bash script demos
seckcoder/learn-redis
Documentation/example code when I'm reading source code of redis
seckcoder/mmd
code for mining massive datasets
seckcoder/learn-bootstrap
docs, examples for bootstrap
seckcoder/prog-contest
programming contest practice
seckcoder/emacs.d
An Emacs configuration bundle with batteries included
seckcoder/celery
Distributed Task Queue (development branch)
seckcoder/kikyo
A non-distributed task queue
seckcoder/columbia-os-2013
exercise when I follow the os course of Columbia University
seckcoder/js-practice
javascript practice
seckcoder/lisp-exercise
lisp exercise
seckcoder/geass
Code Geass
seckcoder/django-example
learn django example