danking/pda-simulator

Stars
2
Language
Racket
Created almost 11 years ago
Updated almost 11 years ago

danking/pda-simulator

danking

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

A pda simulator written in Racket

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

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.