danking/code-every-day
Public repository.
Developer Profile
danking
Discovered public repositories for danking in the GitHub catalog.
danking/thrift-ping-test
Public repository.
danking/js-numbers
Javascript implementation of Scheme's numeric tower
danking/rackdan
My personal racket library
danking/pda-simulator
A pda simulator written in Racket
danking/racket-ml
A collection of things I found useful for doing Machine Learning problem sets.
danking/seas-gc-website
Public repository.
danking/julialang.github.com
Julia Project web site.
danking/lattice
Public repository.
danking/pda-flow-analysis-instantiations
Public repository.
danking/racket
The Racket repository
danking/secondary-analysis
A collection of secondary analyses for use after a "cfa2" PDA analysis
danking/scheme-kd-tree
A kD tree datastructure in Racket.
danking/sad-c
Public repository.
danking/eim-py
An Emacs Input Method extension for smart pinyin
danking/bind
Bind: Let with binding clause transformers
danking/test-harness
Public repository.
danking/dot-xmonad
Public repository.
danking/spims
Public repository.
danking/zshrc
configuration for zsh
danking/flow-optimizing-parser-compiler
A super-repository to track which particular combination of branches and repositories results in a working version of the flow optimizing parser compiler.
danking/alms
The Alms Programming Language
danking/pda-risc-semantics
An implementation of pda-risc semantics for use with flow analyses
danking/racket-utils
Public repository.
danking/PDA-Flow-Analysis-Performance-Measurements
A collection of grammars, PDAs terms, and PDA-RISC terms along with the performance statistics for the CFA2 algorithm
danking/pda-flow-analysis
Public repository.
danking/gadt-stack-types
Use GADTs in Haskell to model the stack of a PDA. Using Haskell's type system we can guarantee the stack will never underflow.
danking/lang-scsh
A Racket #lang library for scsh
danking/compilers
Compilers homeworks for CS4410
danking/pda-to-pda-risc
Converts a PDA into a lower-level PDA-RISC which is easier to flow analyze
danking/optimizing-pda-compiler
A compiler for pushdown automata which uses optimizing flow analyses.
danking/dhc
Durham Haskell Compiler
danking/toy-macros
A simple implementation of renaming macros for the sake of understanding how to do it.
danking/resume
My résumé
danking/tea-script
Because I hate coffee and I have a lisp
danking/Parameterized-Ruby-Unit-Tests
An extension for test/unit to allow parameterized unit tests a la JUnit
danking/dot-emacs
Public repository.
danking/Scheme2JS
Scheme to JS compiler
danking/Belkin-Router-Configurator
My belkin router has a less than optimal virtual server (port forwarding) configuration page so I made a little utility to do the work for me.