Discover danking/gadt-stack-types Open Source project

Stars
1
Language
Haskell
Created almost 13 years ago
Updated over 12 years ago

danking

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Use GADTs in Haskell to model the stack of a PDA. Using Haskell's type system we can guarantee the stack will never underflow.

racket-ml

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

Racket

lang-scsh

A Racket #lang library for scsh

Racket

tea-script

Because I hate coffee and I have a lisp

Racket

hail-cloud-docs

pda-to-pda-risc

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

Racket

Parameterized-Ruby-Unit-Tests

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

Ruby

pda-simulator

A pda simulator written in Racket

Racket

resume

My résumé

TeX

dhc

Durham Haskell Compiler

Haskell

dot-emacs

Emacs Lisp

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

Racket

eim-py

An Emacs Input Method extension for smart pinyin

Emacs Lisp

toy-macros

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

Racket

optimizing-pda-compiler

A compiler for pushdown automata which uses optimizing flow analyses.

Scheme

phat-tests

Shell

PDA-Flow-Analysis-Performance-Measurements

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

Racket

pda-flow-analysis

Racket

shill-performance-tests

Shell

docker-hail

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

Dockerfile

danking/gadt-stack-types

danking

Reviews

Repository Details

More Repositories