Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Go to file
Tony Garnock-Jones 20207a9c18 Remove clutter 2013-05-10 16:36:01 -04:00
.gitignore .gitignore 2013-03-18 16:05:57 -04:00
TODO Update TODO 2013-05-10 15:41:44 -04:00
api-untyped.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
api.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
codec.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
driver.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
mapping.rkt Typed implementation WIP 2013-03-18 16:05:57 -04:00
network-query.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
proxy.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
resolver.rkt #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00
send-signal.rkt Small program to send a debug-packet to the server. 2012-02-16 15:27:03 -05:00
test-dns.rkt Topologically sort CNAME chains. 2012-02-24 17:53:53 -05:00
test-mapping.rkt Codec from prototype, refactored slightly 2011-08-24 16:39:04 -04:00
test-rrs.rkt Final TR conversion of driver 2013-03-18 16:05:57 -04:00
tk-dns.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00
zonedb.rkt racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace 2013-05-10 16:36:01 -04:00