Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
Go to file
Tony Garnock-Jones 67b4b6b011 #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00
experiments Minor rearrangements 2012-02-17 11:38:39 -05:00
prototype Prototype implementation code from racket-openwrt repo 2011-08-24 12:15:26 -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 Typed implementation WIP 2013-03-18 16:05:57 -04:00
api.rkt #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00
codec.rkt #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00
driver.rkt Switch back to returning transitions rather than actions, to permit control over debug-names 2013-03-20 11:00:23 -04:00
mapping.rkt Typed implementation WIP 2013-03-18 16:05:57 -04:00
network-query.rkt #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00
proxy.rkt #:prefab -> #:transparent 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
simple-udp-service.rkt First steps of port to typed-matrix kernel. 2013-03-18 16:05:57 -04:00
simplified-driver.rkt First steps of port to typed-matrix kernel. 2013-03-18 16:05:57 -04:00
stress.rkt First steps of port to typed-matrix kernel. 2013-03-18 16:05:57 -04: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 #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00
zonedb.rkt #:prefab -> #:transparent 2013-05-10 16:36:01 -04:00