Historical interest only: Predecessor to marketplace-dns-2014, implemented using racket-matrix-2012.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Tony Garnock-Jones df0c210e4b Update to new bitsyntax extension interface. 9 years ago
experiments Minor rearrangements 10 years ago
prototype Prototype implementation code from racket-openwrt repo 10 years ago
TODO A new bug, re zero-timeout RRs 9 years ago
api.rkt Transparent -> prefab, for unify.rkt to work 10 years ago
codec.rkt Update to new bitsyntax extension interface. 9 years ago
driver.rkt Make role names optional, and remove role/anon. Remove inessential 9 years ago
mapping.rkt Codec from prototype, refactored slightly 10 years ago
network-query.rkt Make handlers etc *required* to return a transition structure. 9 years ago
os2-dns.rkt Make handlers etc *required* to return a transition structure. 9 years ago
proxy.rkt Make handlers etc *required* to return a transition structure. 9 years ago
resolver.rkt Transparent -> prefab, for unify.rkt to work 10 years ago
send-signal.rkt Small program to send a debug-packet to the server. 10 years ago
simple-udp-service.rkt Move deps on racket-matrix 10 years ago
simplified-driver.rkt Compute context for each question to break NS cycles. 10 years ago
stress.rkt Compute context for each question to break NS cycles. 10 years ago
test-dns.rkt Topologically sort CNAME chains. 10 years ago
test-mapping.rkt Codec from prototype, refactored slightly 10 years ago
test-rrs.rkt Update root set from http://www.internic.net/zones/named.root 10 years ago
zonedb.rkt Transparent -> prefab, for unify.rkt to work 10 years ago