Discover @danking Open Source projects

Dan King (@danking)

danking

Stars
75
Global Rank 255,876 (Top 9 %)
Followers 93
Following 47
Registered over 15 years ago
Most used languages

Racket
43.5 %

Haskell
13.0 %

Scheme
8.7 %

Shell
8.7 %

Emacs Lisp
8.7 %

TeX
4.3 %

C++
4.3 %

Dockerfile
4.3 %

Ruby
4.3 %
Location 🇺🇸 United States
Country Total Rank 53,362
Country Ranking

Racket
63

Scheme
423

Haskell
1,340

Emacs Lisp
1,655

TeX
3,596

Dockerfile
5,357

racket-ml

A collection of things I found useful for doing Machine Learning problem sets.

lang-scsh

A Racket #lang library for scsh

tea-script

Because I hate coffee and I have a lisp

hail-cloud-docs

pda-to-pda-risc

Converts a PDA into a lower-level PDA-RISC which is easier to flow analyze

Parameterized-Ruby-Unit-Tests

An extension for test/unit to allow parameterized unit tests a la JUnit

pda-simulator

A pda simulator written in Racket

resume

dhc

Durham Haskell Compiler

dot-emacs

Scheme2JS

Scheme to JS compiler

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.

real-semantics

monadic-interpreter

racket-utils

pda-risc-semantics

An implementation of pda-risc semantics for use with flow analyses

eim-py

An Emacs Input Method extension for smart pinyin

optimizing-pda-compiler

A compiler for pushdown automata which uses optimizing flow analyses.

phat-tests

PDA-Flow-Analysis-Performance-Measurements

A collection of grammars, PDAs terms, and PDA-RISC terms along with the performance statistics for the CFA2 algorithm

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.

pda-flow-analysis

shill-performance-tests

toy-macros

A simple implementation of renaming macros for the sake of understanding how to do it.

docker-hail

A Dockerfile for Hail. Primarily useful if you're on Windows and cannot otherwise run Hail.