Pinned Repositories
CompilersFromScratch
LambdaJam 2013 Workshop
CScript
Javascript implementation of the C programming language
imm-example
imm-example2
lwc2016
Repository for PLT submissions to the 2016 Language Workbench Challenge
pegs
A DSL for specifying peg solitaire games
TripPlanner
A python based public transit app for planning bus travel in Anchorage Alaska.
drracket
DrRacket, IDE for Racket
racket
The Racket repository
lindenmayer
dfeltey's Repositories
dfeltey/lwc2016
Repository for PLT submissions to the 2016 Language Workbench Challenge
dfeltey/PDPTest
An automated testing/grading framework intended for use with the How to Design Programs curriculum.
dfeltey/pegs
A DSL for specifying peg solitaire games
dfeltey/racket-irc
Racket IRC library
dfeltey/racket-no-brainer
a simple tool that performs some simple static checks on Racket code
dfeltey/synth
Simple software synthesizer in Racket
dfeltey/2d
2d syntax
dfeltey/395-2017
dfeltey/Acquire
implementing an Acquire game
dfeltey/Acquire-Typed
a port of Acquire to typed racket
dfeltey/drracket
dfeltey/eecs495-rust
dfeltey/force-pull-test
dfeltey/games
dfeltey/gui
dfeltey/linear-lambda-caclulus
A Racket Implementation of a linear lambda calculus with interleaved typechecking and macro expansion
dfeltey/mm
an environment for doing memory management
dfeltey/parseclj
A parser combinator library for clojure.
dfeltey/pasterack
The Racket pastebin.
dfeltey/php-langspec
PHP Language Specification
dfeltey/racket
The Racket repository
dfeltey/redex
dfeltey/release-catalog
Catalog for Racket release candiate and final release builds
dfeltey/scribble
dfeltey/slideshow
dfeltey/snip
dfeltey/stlc-objects
An interpreter for the simply typed lambda calculus using rackets class system.
dfeltey/tr-ports
Ports of some racket programs to typed racket
dfeltey/typed-racket
dfeltey/web-server