├── LICENSE ├── README.md ├── doc ├── demand-matcher.dot ├── demand-matcher.md └── demand-matcher.png ├── examples ├── ircd │ ├── .gitignore │ ├── Makefile │ ├── TODO.md │ ├── channel.rkt │ ├── config.rkt │ ├── main.rkt │ ├── message.rkt │ ├── protocol.rkt │ └── session.rkt ├── netstack │ ├── .gitignore │ ├── README.md │ ├── TODO.md │ ├── incremental-highlevel │ │ ├── Makefile │ │ ├── arp.rkt │ │ ├── checksum.rkt │ │ ├── configuration.rkt │ │ ├── cpingresp.c │ │ ├── demo-config.rkt │ │ ├── dump-bytes.rkt │ │ ├── ethernet.rkt │ │ ├── fetchurl.rkt │ │ ├── ip.rkt │ │ ├── main.rkt │ │ ├── pingresp.rkt │ │ ├── port-allocator.rkt │ │ ├── tcp.rkt │ │ └── udp.rkt │ └── monolithic-lowlevel │ │ ├── Makefile │ │ ├── arp.rkt │ │ ├── checksum.rkt │ │ ├── configuration.rkt │ │ ├── demo-config.rkt │ │ ├── dump-bytes.rkt │ │ ├── ethernet.rkt │ │ ├── fetchurl.rkt │ │ ├── ip.rkt │ │ ├── main.rkt │ │ ├── on-claim.rkt │ │ ├── port-allocator.rkt │ │ ├── tcp.rkt │ │ └── udp.rkt ├── operational-transformation │ ├── .gitignore │ ├── README.md │ ├── syndicate-multiserver.rkt │ └── syndicate-server.rkt ├── platformer │ ├── .gitignore │ ├── beautiful-grassland-wallpapers-1920x1080.jpg │ ├── hll-main.rkt │ ├── info.rkt │ ├── lll-main.rkt │ └── sounds │ │ ├── 270302__littlerobotsoundfactory__collect-point-02.wav │ │ ├── 270303__littlerobotsoundfactory__collect-point-01.wav │ │ ├── 270304__littlerobotsoundfactory__collect-point-00.wav │ │ ├── 270305__littlerobotsoundfactory__climb-rope-loop-00.wav │ │ ├── 270306__littlerobotsoundfactory__explosion-02.wav │ │ ├── 270307__littlerobotsoundfactory__explosion-01.wav │ │ ├── 270308__littlerobotsoundfactory__explosion-00.wav │ │ ├── 270309__littlerobotsoundfactory__craft-00.wav │ │ ├── 270310__littlerobotsoundfactory__explosion-04.wav │ │ ├── 270311__littlerobotsoundfactory__explosion-03.wav │ │ ├── 270315__littlerobotsoundfactory__menu-navigate-03.wav │ │ ├── 270316__littlerobotsoundfactory__open-00.wav │ │ ├── 270317__littlerobotsoundfactory__jump-01.wav │ │ ├── 270318__littlerobotsoundfactory__jump-02.wav │ │ ├── 270319__littlerobotsoundfactory__jingle-win-01.wav │ │ ├── 270320__littlerobotsoundfactory__jump-00.wav │ │ ├── 270321__littlerobotsoundfactory__menu-navigate-01.wav │ │ ├── 270322__littlerobotsoundfactory__menu-navigate-02.wav │ │ ├── 270323__littlerobotsoundfactory__jump-03.wav │ │ ├── 270324__littlerobotsoundfactory__menu-navigate-00.wav │ │ ├── 270325__littlerobotsoundfactory__hit-02.wav │ │ ├── 270326__littlerobotsoundfactory__hit-01.wav │ │ ├── 270327__littlerobotsoundfactory__hit-00.wav │ │ ├── 270328__littlerobotsoundfactory__hero-death-00.wav │ │ ├── 270329__littlerobotsoundfactory__jingle-lose-00.wav │ │ ├── 270330__littlerobotsoundfactory__jingle-achievement-01.wav │ │ ├── 270331__littlerobotsoundfactory__jingle-achievement-00.wav │ │ ├── 270332__littlerobotsoundfactory__hit-03.wav │ │ ├── 270333__littlerobotsoundfactory__jingle-win-00.wav │ │ ├── 270334__littlerobotsoundfactory__jingle-lose-01.wav │ │ ├── 270335__littlerobotsoundfactory__shoot-03.wav │ │ ├── 270336__littlerobotsoundfactory__shoot-02.wav │ │ ├── 270337__littlerobotsoundfactory__pickup-00.wav │ │ ├── 270338__littlerobotsoundfactory__open-01.wav │ │ ├── 270339__littlerobotsoundfactory__pickup-02.wav │ │ ├── 270340__littlerobotsoundfactory__pickup-01.wav │ │ ├── 270341__littlerobotsoundfactory__pickup-04.wav │ │ ├── 270342__littlerobotsoundfactory__pickup-03.wav │ │ ├── 270343__littlerobotsoundfactory__shoot-01.wav │ │ ├── 270344__littlerobotsoundfactory__shoot-00.wav │ │ └── _readme_and_license.txt └── webchat │ ├── NOTES.md │ ├── htdocs │ ├── Text-x-generic.svg │ ├── linkify-string.min.js │ ├── linkify.min.js │ ├── speechbubble-l.png │ ├── speechbubble-l.svg │ ├── speechbubble-r.png │ ├── speechbubble-r.svg │ ├── style.css │ ├── templates │ │ ├── contact-entry.html │ │ ├── conversation-index-entry.html │ │ ├── grant-entry.html │ │ ├── invitee-entry.html │ │ ├── nav-account.html │ │ ├── option-question.html │ │ ├── page-contacts.html │ │ ├── page-conversations.html │ │ ├── page-my-requests.html │ │ ├── page-new-chat.html │ │ ├── page-permissions.html │ │ ├── page-questions.html │ │ ├── permission-entry.html │ │ ├── permission-request-in-GENERIC.html │ │ ├── permission-request-in-p:follow.html │ │ ├── permission-request-out-GENERIC.html │ │ ├── permission-request-out-p:follow.html │ │ ├── post-entry.html │ │ ├── post-item-application-octet-stream.html │ │ ├── post-item-image.html │ │ ├── post-item-text-plain.html │ │ └── post-item.html │ └── webchat.syndicate.js │ └── server │ ├── .gitignore │ ├── TODO.md │ ├── account.rkt │ ├── api.rkt │ ├── config.rkt │ ├── contacts.rkt │ ├── conversation.rkt │ ├── duplicate.rkt │ ├── main.rkt │ ├── pages.rkt │ ├── protocol.rkt │ ├── qa.rkt │ ├── run │ ├── script-compiler.rkt │ ├── session-cookie.rkt │ ├── static-content.rkt │ ├── testdata.rkt │ ├── trust.rkt │ └── util.rkt ├── historical ├── README.md └── syndicate-monolithic │ ├── README.md │ ├── core.rkt │ ├── demand-matcher.rkt │ ├── drivers │ ├── tcp.rkt │ ├── timer.rkt │ ├── udp.rkt │ └── websocket.rkt │ ├── examples │ ├── .gitignore │ ├── Makefile │ ├── bank-account.rkt │ ├── box-and-client.rkt │ ├── chat-client.rkt │ ├── chat-no-quit-world-no-nesting.rkt │ ├── echo.rkt │ ├── example-lang.rkt │ ├── example-layer.rkt │ ├── example-meta-echo.rkt │ ├── example-meta-echo2.rkt │ ├── example-plain.rkt │ ├── example-quit-world.rkt │ ├── mini-echo.rkt │ ├── tcp-hello.rkt │ ├── udp-hello-plain.rkt │ ├── ws-hello-ssl.rkt │ └── ws-hello.rkt │ ├── ground.rkt │ ├── lang.rkt │ ├── lang │ └── reader.rkt │ ├── main.rkt │ ├── mux.rkt │ ├── scn.rkt │ └── trace │ └── stderr.rkt ├── hs ├── .gitignore ├── Setup.hs ├── src │ └── Syndicate │ │ └── Dataspace │ │ └── Trie │ │ ├── ESOP2016.hs │ │ ├── ESOP2016v2.hs │ │ ├── ESOP2016v3.hs │ │ └── Prefix.hs ├── syndicate.cabal └── test │ ├── Main.hs │ └── Syndicate │ └── Dataspace │ └── Trie │ └── Tests │ ├── ESOP2016.hs │ ├── ESOP2016v2.hs │ ├── ESOP2016v3.hs │ └── Prefix.hs ├── js ├── .gitignore ├── Makefile ├── README.md ├── bin │ └── syndicatec ├── compiler │ ├── README.md │ ├── compiler.js │ ├── demo-bad-this.js │ ├── demo-bankaccount.js │ ├── demo-during-criterion-snapshotting.js │ ├── demo-filesystem.js │ ├── demo-nested-during.js │ ├── demo-proper-interest-tracking.js │ ├── demo-synthetic-patch-2.js │ ├── es5.js │ ├── es5.ohm │ ├── inbrowser.js │ └── syndicate.ohm ├── dist │ └── README.md ├── examples │ ├── button │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── index.html │ │ └── index.js │ ├── chat │ │ ├── index.html │ │ ├── index.js │ │ └── style.css │ ├── dom-webworker │ │ ├── Makefile │ │ ├── index.html │ │ ├── index.js │ │ └── worker.js │ ├── dom │ │ ├── index.html │ │ └── index.js │ ├── eve │ │ └── crazy-mikes │ │ │ ├── index.html │ │ │ ├── index.js │ │ │ └── style.css │ ├── index.md │ ├── iot │ │ ├── img │ │ │ ├── flames.gif │ │ │ ├── remote.png │ │ │ ├── stove-coil-element-cold.jpg │ │ │ ├── stove-coil-element-hot.jpg │ │ │ └── tvscreen.gif │ │ ├── index.html │ │ ├── index.js │ │ ├── iot-example.png │ │ └── style.css │ ├── location │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── index.html │ │ ├── index.js │ │ └── style.css │ ├── mixin │ │ ├── Makefile │ │ ├── index.html │ │ └── index.js │ ├── motion │ │ ├── index.html │ │ ├── index.js │ │ ├── style.css │ │ └── tinycolor.js │ ├── smoketest-dsl │ │ ├── index.html │ │ └── index.js │ ├── smoketest │ │ ├── index.html │ │ └── index.js │ ├── svg │ │ ├── index.html │ │ └── index.js │ ├── table │ │ ├── index.html │ │ └── index.js │ ├── textfield-dsl │ │ ├── index.html │ │ ├── index.js │ │ └── style.css │ ├── textfield │ │ ├── index.html │ │ ├── index.js │ │ └── style.css │ ├── todo │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── css │ │ │ └── app.css │ │ ├── index.html │ │ ├── index.js │ │ ├── node_modules │ │ │ ├── todomvc-app-css │ │ │ │ └── index.css │ │ │ └── todomvc-common │ │ │ │ └── base.css │ │ └── todomvc-screenshot.png │ └── two-buyer-protocol │ │ ├── .gitignore │ │ ├── Makefile │ │ └── index.js ├── package.json ├── src │ ├── ack.js │ ├── actor.js │ ├── broker.js │ ├── codec.js │ ├── dataflow.js │ ├── dataspace.js │ ├── demand-matcher.js │ ├── ground.js │ ├── main.js │ ├── mapset.js │ ├── mux.js │ ├── patch.js │ ├── randomid.js │ ├── reflect.js │ ├── seal.js │ ├── special.js │ ├── struct.js │ ├── timer-driver.js │ ├── trie.js │ ├── ui.js │ ├── util.js │ ├── wake-detector-driver.js │ └── worker.js ├── test │ ├── test-dataflow.js │ ├── test-mux.js │ ├── test-patch.js │ ├── test-route.js │ ├── test-syndicate.js │ └── test-trie.js └── third-party │ └── jquery-2.2.0.min.js └── racket ├── .gitignore ├── FAQ.md ├── Makefile ├── README.md ├── doc ├── forward-chaining-hll.rkt.txt ├── forward-chaining-hll2.rkt.txt ├── forward-chaining-hll3.rkt.txt ├── forward-chaining-hll4.rkt.txt └── notes-on-hll.md ├── info.rkt ├── syndicate-gl ├── 2d.rkt ├── TODO.md ├── affine.rkt ├── examples │ ├── basic.rkt │ ├── clock-face.rkt │ └── many.rkt ├── info.rkt ├── scribblings │ └── syndicate-gl.scrbl └── texture.rkt ├── syndicate-gui-toolbox ├── examples │ └── 7-GUIS │ │ ├── cells-canvas.rkt │ │ ├── task-1.rkt │ │ ├── task-2.rkt │ │ ├── task-3.rkt │ │ ├── task-4.rkt │ │ ├── task-5.rkt │ │ ├── task-6.rkt │ │ └── task-7.rkt ├── info.rkt └── widgets.rkt ├── syndicate-ide ├── hsv.rkt ├── info.rkt └── main.rkt ├── syndicate ├── actor-lang.rkt ├── actor.rkt ├── big-bang.rkt ├── big-bang │ └── timestate.rkt ├── broker │ ├── protocol.rkt │ └── server.rkt ├── canonicalize.rkt ├── comprehensions.rkt ├── core-lang.rkt ├── core.rkt ├── dataflow.rkt ├── dataspace.rkt ├── demand-matcher.rkt ├── drivers │ ├── config.rkt │ ├── filesystem.rkt │ ├── gui.rkt │ ├── irc.rkt │ ├── line-reader.rkt │ ├── repl.rkt │ ├── smtp.rkt │ ├── tcp.rkt │ ├── tcp2.rkt │ ├── timer.rkt │ ├── timestate.rkt │ ├── udp.rkt │ ├── web.rkt │ └── websocket.rkt ├── examples │ ├── .gitignore │ ├── Makefile │ ├── actor │ │ ├── add1-simple.rkt │ │ ├── bank-account.rkt │ │ ├── big-bang.rkt │ │ ├── box-and-client.rkt │ │ ├── broadcast-messages.rkt │ │ ├── ceu-leds.rkt │ │ ├── chain.rkt │ │ ├── chat-bot.rkt │ │ ├── chat-client-tcp2.rkt │ │ ├── chat-client.rkt │ │ ├── chat-multiroom-topic-persist.rkt │ │ ├── chat-multiroom-topic.rkt │ │ ├── chat-multiroom.rkt │ │ ├── chat-no-quit-world-no-nesting.rkt │ │ ├── chat-no-quit-world.rkt │ │ ├── chat-simplified-internals.rkt │ │ ├── chat-simplified-internals2.rkt │ │ ├── chat-tcp2.rkt │ │ ├── chat.rkt │ │ ├── cleanup.rkt │ │ ├── double-click.rkt │ │ ├── echo.rkt │ │ ├── example-action-after-suspension.rkt │ │ ├── example-assertion-spike.rkt │ │ ├── example-bug-query-scope.rkt │ │ ├── example-bug-rising-edge-true.rkt │ │ ├── example-demand-matcher-glitch-bug.buggy.msd │ │ ├── example-demand-matcher-glitch-bug.buggy.png │ │ ├── example-demand-matcher-glitch-bug.fixed1.msd │ │ ├── example-demand-matcher-glitch-bug.fixed1.png │ │ ├── example-demand-matcher-glitch-bug.fixed2.msd │ │ ├── example-demand-matcher-glitch-bug.fixed2.png │ │ ├── example-demand-matcher-glitch-bug.rkt │ │ ├── example-demand-matcher-glitch-bug2.buggy.msd │ │ ├── example-demand-matcher-glitch-bug2.buggy.png │ │ ├── example-demand-matcher-glitch-bug2.rkt │ │ ├── example-during-criterion-snapshotting.rkt │ │ ├── example-filesystem.rkt │ │ ├── example-glitch.rkt │ │ ├── example-memoized.rkt │ │ ├── example-multiple-suspension-resumption.rkt │ │ ├── example-partial-retraction.rkt │ │ ├── example-responsibility-transfer-1.rkt │ │ ├── example-responsibility-transfer-2.rkt │ │ ├── example-supervise.rkt │ │ ├── example-synthetic-patch-2.rkt │ │ ├── example-synthetic-patch.rkt │ │ ├── example-termination-scripts-1.rkt │ │ ├── example-termination-scripts-2.rkt │ │ ├── f-to-c.rkt │ │ ├── f-to-c2.rkt │ │ ├── f-to-c3.rkt │ │ ├── f-to-c4.rkt │ │ ├── f-to-c5.rkt │ │ ├── fib-server.rkt │ │ ├── file-system-during.rkt │ │ ├── file-system-during2.rkt │ │ ├── file-system-lll.rkt │ │ ├── file-system-lll2.rkt │ │ ├── file-system-script │ │ ├── file-system.rkt │ │ ├── file-system2.rkt │ │ ├── firewall-demo.rkt │ │ ├── flink.rkt │ │ ├── flip-flop.rkt │ │ ├── forward-chaining-mini.rkt │ │ ├── fs-protocol.rkt │ │ ├── fs-shell.rkt │ │ ├── gui.rkt │ │ ├── internal-knowledge.rkt │ │ ├── irc-client.rkt │ │ ├── irc.rkt │ │ ├── lambda.rkt │ │ ├── let-event.rkt │ │ ├── lorem.txt │ │ ├── make.rkt │ │ ├── mini-echo.rkt │ │ ├── mutable-cell.rkt │ │ ├── mutex.rkt │ │ ├── parameters.rkt │ │ ├── query-set.rkt │ │ ├── queue-no-credit.rkt │ │ ├── queue-no-credit2.rkt │ │ ├── queue.rkt │ │ ├── realize.rkt │ │ ├── rpc-with-error.rkt │ │ ├── running-total.rkt │ │ ├── sandbox-os.rkt │ │ ├── show-field-scope-enforcement1.rkt │ │ ├── show-field-scope-enforcement4.rkt │ │ ├── simple-cross-layer.rkt │ │ ├── simple-dns.rkt │ │ ├── spreadsheet-script │ │ ├── spreadsheet.rkt │ │ ├── tcp-relay.rkt │ │ ├── tcp-relay2.rkt │ │ ├── timestate.rkt │ │ ├── two-buyer-protocol.rkt │ │ ├── udp-echo.rkt │ │ ├── vacuous-facet.rkt │ │ ├── web-demo.rkt │ │ └── web-sanity-check.rkt │ ├── all-pairs-shortest-paths │ │ ├── all-pairs-shortest-paths.rb │ │ ├── all-pairs-shortest-paths.rkt │ │ ├── all-pairs-shortest-paths2.rb │ │ ├── all-pairs-shortest-paths2.rkt │ │ └── all-pairs-shortest-paths3.rkt │ ├── bank-account-monolithic.rkt │ ├── bank-account.rkt │ ├── big-bang.rkt │ ├── box-and-client.rkt │ ├── chat-client.rkt │ ├── chat-no-quit-world-no-nesting.rkt │ ├── chat-no-quit-world.rkt │ ├── chat-simplified-internals.rkt │ ├── chat.rkt │ ├── durable-key-value-store.rkt │ ├── echo.rkt │ ├── example-lang.rkt │ ├── example-layer.rkt │ ├── example-meta-drop.rkt │ ├── example-meta-echo.rkt │ ├── example-meta-echo2.rkt │ ├── example-plain.rkt │ ├── example-quit-dataspace-with-assertion.rkt │ ├── example-quit-world.rkt │ ├── example-swap-int-and-claim.rkt │ ├── example-wildcard-assertion-1.rkt │ ├── example-wildcard-assertion-2.rkt │ ├── forward-chaining.rkt │ ├── key-value-store.rkt │ ├── mini-echo.rkt │ ├── tcp-hello.rkt │ ├── two-buyer-protocol-incremental.rkt │ ├── two-buyer-protocol-monolithic.rkt │ ├── udp-hello-plain.rkt │ ├── udp-multicast.rkt │ ├── ws-echo-client.rkt │ ├── ws-echo.rkt │ ├── ws-hello-ssl.rkt │ └── ws-hello.rkt ├── firewall.rkt ├── functional-queue.rkt ├── ground.rkt ├── hash-order.rkt ├── hierarchy.rkt ├── info.rkt ├── interactive-lang.rkt ├── interactive.rkt ├── lang.rkt ├── lang │ └── reader.rkt ├── little-actors │ └── core.rkt ├── main.rkt ├── monitor.rkt ├── monolithic.rkt ├── monolithic │ ├── core.rkt │ └── scn.rkt ├── mux.rkt ├── patch.rkt ├── pattern.rkt ├── persist.rkt ├── pretty.rkt ├── profile.rkt ├── protocol │ ├── advertise.rkt │ ├── instance.rkt │ └── standard-relay.rkt ├── random-test.rkt ├── relay.rkt ├── reload.rkt ├── scribblings │ ├── interactive.scrbl │ └── syndicate.scrbl ├── store.rkt ├── supervise.rkt ├── supervisor.rkt ├── support │ ├── bytes.rkt │ ├── hash.rkt │ └── struct.rkt ├── syntax-classes.rkt ├── test-lang.rkt ├── test.rkt ├── test │ └── test-dataspace.rkt ├── tests │ ├── bank-account.rkt │ ├── boop.rkt │ ├── create-new-facet-in-on-stop.rkt │ ├── facet-creation-during-stop-from-grandchild.rkt │ ├── maintain-knowledge-across-events.rkt │ ├── multi-level-message.rkt │ ├── multi-level-other-way.rkt │ ├── nested-spawn-exceptions.rkt │ ├── ping-pong.rkt │ ├── simple-multi-level.rkt │ ├── simple1.rkt │ ├── stop-when-react.rkt │ └── use-current-knowledge-with-new-facet.rkt ├── threaded.rkt ├── trace.rkt ├── trace │ ├── msd.rkt │ ├── render-msd.rkt │ ├── stderr.rkt │ └── util.rkt ├── treap.rkt ├── trie.rkt ├── tset.rkt ├── upside-down.rkt └── util.rkt └── typed ├── .gitignore ├── Makefile ├── core.rkt ├── examples ├── anonymous-facet.rkt ├── bank-account.rkt ├── book-club.rkt ├── cell.rkt ├── chat-tcp2.rkt ├── core │ ├── bank-account.rkt │ ├── book-club.rkt │ └── box-and-client.rkt ├── file-system.rkt ├── flink-support.rkt ├── flink.rkt ├── internal-knowledge.rkt ├── lorem.txt ├── observe-star.rkt ├── ping-pong.rkt ├── provides.rkt ├── realize.rkt ├── require-struct │ ├── client.rkt │ ├── client2.rkt │ ├── driver.rkt │ └── omit-accs │ │ ├── lib.rkt │ │ └── require-omit-accs.rkt ├── require:typed │ ├── client.rkt │ ├── lib.rkt │ └── opaque │ │ ├── client-arity.rkt │ │ ├── client.rkt │ │ └── lib.rkt ├── requires.rkt ├── simple-dataflow.rkt ├── simple-dataspace.rkt ├── simple-during-spawn.rkt ├── simple-during.rkt ├── simple-query-hash.rkt ├── simple-query-set.rkt ├── simple-query-value.rkt ├── simple-stop-facet.rkt ├── struct-out │ ├── client.rkt │ ├── struct-in.rkt │ ├── struct-out.rkt │ ├── typed-out.rkt │ └── untyped.rkt ├── two-buyer-protocol.rkt └── with-facets.rkt ├── info.rkt ├── leader-and-seller.pml ├── scribblings └── typed-syndicate.scrbl ├── syndicate ├── 2d.rkt ├── compile-spin.rkt ├── core-expressions.rkt ├── core-types.rkt ├── core │ └── lang │ │ └── reader.rkt ├── drivers │ ├── tcp.rkt │ └── timestate.rkt ├── either.rkt ├── first-facet-lang-attempt.rkt ├── for-loops.rkt ├── hash.rkt ├── lang │ └── reader.rkt ├── list.rkt ├── ltl.rkt ├── maybe.rkt ├── prim.rkt ├── proto.rkt ├── replay-trail.sh ├── roles.rkt ├── roles │ └── lang │ │ └── reader.rkt ├── run-spin.sh ├── sequence.rkt ├── set.rkt ├── spin-prelude.pml ├── sugar.rkt ├── supervise.rkt ├── syntax-serializer.rkt └── test-utils.rkt └── tests ├── assert-star.rkt ├── basic-bad-assertion.rkt ├── bind-big-pattern.rkt ├── comm-ty-composition.rkt ├── constructor-naming-conventions.rkt ├── constructor-some-default-tys.rkt ├── define-dataflow.rkt ├── discard-pattern-tys.rkt ├── effect-polymorhpism.rkt ├── endpoint-effects-branch.rkt ├── expressions.rkt ├── floating-define.rkt ├── for-loop-regression.rkt ├── for-loops.rkt ├── hashes.rkt ├── implicit-root-facet.rkt ├── inference.rkt ├── lift-facet-names.rkt ├── list.rkt ├── overly-broad-interests.rkt ├── pattern-annotations.rkt ├── phantom-rho.rkt ├── primitives.rkt ├── regression-count-new-words.rkt ├── regression-define-with-effects.rkt ├── removing-annotations.rkt ├── require-struct-some-default-tys.rkt ├── require-struct.rkt ├── require-typed.rkt ├── sequences.rkt ├── sets.rkt ├── spawn-cell-bug.rkt ├── spawn-with-name.rkt ├── spawn.rkt ├── spin ├── A-and-M-not-necessary.rkt ├── basic-assertion-communication.rkt ├── basic-assertion.rkt ├── basic-deadlock-freedom.rkt ├── basic-io.rkt ├── cyclic-role-graph-regression.rkt ├── deadlock-free-syntax-bug.rkt ├── duplicate-facet-names-behavior-lost-regression.rkt ├── duplicate-facet-names-regression.rkt ├── during-spawn-stop-when.rkt ├── io-subtype-regression.rkt ├── message-subtyping-regression.rkt ├── no-behavior-regression.rkt ├── smarthome-io-bug.rkt ├── spec-message-supertype-regression.rkt ├── super-to-partial-subtype-regression.rkt ├── super-to-subtype-regression.rkt ├── uninterested-retraction.rkt ├── use-type-of-expression.rkt ├── var-assert-basic.rkt ├── verify-actors-none-error-message.rkt └── webchat-performance-regression.rkt ├── stop-when.rkt ├── struct-provider.rkt ├── this-facet.rkt ├── typed-gui-input-bug.rkt ├── untyped-lib.rkt └── var-assert.rkt /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/README.md -------------------------------------------------------------------------------- /doc/demand-matcher.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/doc/demand-matcher.dot -------------------------------------------------------------------------------- /doc/demand-matcher.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/doc/demand-matcher.md -------------------------------------------------------------------------------- /doc/demand-matcher.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/doc/demand-matcher.png -------------------------------------------------------------------------------- /examples/ircd/.gitignore: -------------------------------------------------------------------------------- 1 | scratch/ 2 | compiled/ 3 | -------------------------------------------------------------------------------- /examples/ircd/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/Makefile -------------------------------------------------------------------------------- /examples/ircd/TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/TODO.md -------------------------------------------------------------------------------- /examples/ircd/channel.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/channel.rkt -------------------------------------------------------------------------------- /examples/ircd/config.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/config.rkt -------------------------------------------------------------------------------- /examples/ircd/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/main.rkt -------------------------------------------------------------------------------- /examples/ircd/message.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/message.rkt -------------------------------------------------------------------------------- /examples/ircd/protocol.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/protocol.rkt -------------------------------------------------------------------------------- /examples/ircd/session.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/ircd/session.rkt -------------------------------------------------------------------------------- /examples/netstack/.gitignore: -------------------------------------------------------------------------------- 1 | compiled/ 2 | -------------------------------------------------------------------------------- /examples/netstack/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/README.md -------------------------------------------------------------------------------- /examples/netstack/TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/TODO.md -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/Makefile -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/arp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/arp.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/checksum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/checksum.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/configuration.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/configuration.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/cpingresp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/cpingresp.c -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/demo-config.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/demo-config.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/dump-bytes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/dump-bytes.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/ethernet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/ethernet.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/fetchurl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/fetchurl.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/ip.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/ip.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/main.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/pingresp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/pingresp.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/port-allocator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/port-allocator.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/tcp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/tcp.rkt -------------------------------------------------------------------------------- /examples/netstack/incremental-highlevel/udp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/incremental-highlevel/udp.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/Makefile -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/arp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/arp.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/checksum.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/checksum.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/configuration.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/configuration.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/demo-config.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/demo-config.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/dump-bytes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/dump-bytes.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/ethernet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/ethernet.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/fetchurl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/fetchurl.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/ip.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/ip.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/main.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/on-claim.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/on-claim.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/port-allocator.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/port-allocator.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/tcp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/tcp.rkt -------------------------------------------------------------------------------- /examples/netstack/monolithic-lowlevel/udp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/netstack/monolithic-lowlevel/udp.rkt -------------------------------------------------------------------------------- /examples/operational-transformation/.gitignore: -------------------------------------------------------------------------------- 1 | compiled/ 2 | -------------------------------------------------------------------------------- /examples/operational-transformation/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/operational-transformation/README.md -------------------------------------------------------------------------------- /examples/operational-transformation/syndicate-multiserver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/operational-transformation/syndicate-multiserver.rkt -------------------------------------------------------------------------------- /examples/operational-transformation/syndicate-server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/operational-transformation/syndicate-server.rkt -------------------------------------------------------------------------------- /examples/platformer/.gitignore: -------------------------------------------------------------------------------- 1 | compiled/ 2 | -------------------------------------------------------------------------------- /examples/platformer/beautiful-grassland-wallpapers-1920x1080.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/beautiful-grassland-wallpapers-1920x1080.jpg -------------------------------------------------------------------------------- /examples/platformer/hll-main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/hll-main.rkt -------------------------------------------------------------------------------- /examples/platformer/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/info.rkt -------------------------------------------------------------------------------- /examples/platformer/lll-main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/lll-main.rkt -------------------------------------------------------------------------------- /examples/platformer/sounds/270302__littlerobotsoundfactory__collect-point-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270302__littlerobotsoundfactory__collect-point-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270303__littlerobotsoundfactory__collect-point-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270303__littlerobotsoundfactory__collect-point-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270304__littlerobotsoundfactory__collect-point-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270304__littlerobotsoundfactory__collect-point-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270305__littlerobotsoundfactory__climb-rope-loop-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270305__littlerobotsoundfactory__climb-rope-loop-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270306__littlerobotsoundfactory__explosion-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270306__littlerobotsoundfactory__explosion-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270307__littlerobotsoundfactory__explosion-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270307__littlerobotsoundfactory__explosion-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270308__littlerobotsoundfactory__explosion-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270308__littlerobotsoundfactory__explosion-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270309__littlerobotsoundfactory__craft-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270309__littlerobotsoundfactory__craft-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270310__littlerobotsoundfactory__explosion-04.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270310__littlerobotsoundfactory__explosion-04.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270311__littlerobotsoundfactory__explosion-03.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270311__littlerobotsoundfactory__explosion-03.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270315__littlerobotsoundfactory__menu-navigate-03.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270315__littlerobotsoundfactory__menu-navigate-03.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270316__littlerobotsoundfactory__open-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270316__littlerobotsoundfactory__open-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270317__littlerobotsoundfactory__jump-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270317__littlerobotsoundfactory__jump-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270318__littlerobotsoundfactory__jump-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270318__littlerobotsoundfactory__jump-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270319__littlerobotsoundfactory__jingle-win-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270319__littlerobotsoundfactory__jingle-win-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270320__littlerobotsoundfactory__jump-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270320__littlerobotsoundfactory__jump-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270321__littlerobotsoundfactory__menu-navigate-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270321__littlerobotsoundfactory__menu-navigate-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270322__littlerobotsoundfactory__menu-navigate-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270322__littlerobotsoundfactory__menu-navigate-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270323__littlerobotsoundfactory__jump-03.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270323__littlerobotsoundfactory__jump-03.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270324__littlerobotsoundfactory__menu-navigate-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270324__littlerobotsoundfactory__menu-navigate-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270325__littlerobotsoundfactory__hit-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270325__littlerobotsoundfactory__hit-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270326__littlerobotsoundfactory__hit-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270326__littlerobotsoundfactory__hit-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270327__littlerobotsoundfactory__hit-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270327__littlerobotsoundfactory__hit-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270328__littlerobotsoundfactory__hero-death-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270328__littlerobotsoundfactory__hero-death-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270329__littlerobotsoundfactory__jingle-lose-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270329__littlerobotsoundfactory__jingle-lose-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270330__littlerobotsoundfactory__jingle-achievement-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270330__littlerobotsoundfactory__jingle-achievement-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270331__littlerobotsoundfactory__jingle-achievement-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270331__littlerobotsoundfactory__jingle-achievement-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270332__littlerobotsoundfactory__hit-03.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270332__littlerobotsoundfactory__hit-03.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270333__littlerobotsoundfactory__jingle-win-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270333__littlerobotsoundfactory__jingle-win-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270334__littlerobotsoundfactory__jingle-lose-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270334__littlerobotsoundfactory__jingle-lose-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270335__littlerobotsoundfactory__shoot-03.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270335__littlerobotsoundfactory__shoot-03.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270336__littlerobotsoundfactory__shoot-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270336__littlerobotsoundfactory__shoot-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270337__littlerobotsoundfactory__pickup-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270337__littlerobotsoundfactory__pickup-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270338__littlerobotsoundfactory__open-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270338__littlerobotsoundfactory__open-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270339__littlerobotsoundfactory__pickup-02.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270339__littlerobotsoundfactory__pickup-02.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270340__littlerobotsoundfactory__pickup-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270340__littlerobotsoundfactory__pickup-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270341__littlerobotsoundfactory__pickup-04.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270341__littlerobotsoundfactory__pickup-04.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270342__littlerobotsoundfactory__pickup-03.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270342__littlerobotsoundfactory__pickup-03.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270343__littlerobotsoundfactory__shoot-01.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270343__littlerobotsoundfactory__shoot-01.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/270344__littlerobotsoundfactory__shoot-00.wav: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/270344__littlerobotsoundfactory__shoot-00.wav -------------------------------------------------------------------------------- /examples/platformer/sounds/_readme_and_license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/platformer/sounds/_readme_and_license.txt -------------------------------------------------------------------------------- /examples/webchat/NOTES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/NOTES.md -------------------------------------------------------------------------------- /examples/webchat/htdocs/Text-x-generic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/Text-x-generic.svg -------------------------------------------------------------------------------- /examples/webchat/htdocs/linkify-string.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/linkify-string.min.js -------------------------------------------------------------------------------- /examples/webchat/htdocs/linkify.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/linkify.min.js -------------------------------------------------------------------------------- /examples/webchat/htdocs/speechbubble-l.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/speechbubble-l.png -------------------------------------------------------------------------------- /examples/webchat/htdocs/speechbubble-l.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/speechbubble-l.svg -------------------------------------------------------------------------------- /examples/webchat/htdocs/speechbubble-r.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/speechbubble-r.png -------------------------------------------------------------------------------- /examples/webchat/htdocs/speechbubble-r.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/speechbubble-r.svg -------------------------------------------------------------------------------- /examples/webchat/htdocs/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/style.css -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/contact-entry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/contact-entry.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/conversation-index-entry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/conversation-index-entry.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/grant-entry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/grant-entry.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/invitee-entry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/invitee-entry.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/nav-account.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/nav-account.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/option-question.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/option-question.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/page-contacts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/page-contacts.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/page-conversations.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/page-conversations.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/page-my-requests.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/page-my-requests.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/page-new-chat.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/page-new-chat.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/page-permissions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/page-permissions.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/page-questions.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/page-questions.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/permission-entry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/permission-entry.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/permission-request-in-GENERIC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/permission-request-in-GENERIC.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/permission-request-in-p:follow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/permission-request-in-p:follow.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/permission-request-out-GENERIC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/permission-request-out-GENERIC.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/permission-request-out-p:follow.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/permission-request-out-p:follow.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/post-entry.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/post-entry.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/post-item-application-octet-stream.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/post-item-application-octet-stream.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/post-item-image.html: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/post-item-text-plain.html: -------------------------------------------------------------------------------- 1 |

{{item.data}}

2 | -------------------------------------------------------------------------------- /examples/webchat/htdocs/templates/post-item.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/templates/post-item.html -------------------------------------------------------------------------------- /examples/webchat/htdocs/webchat.syndicate.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/htdocs/webchat.syndicate.js -------------------------------------------------------------------------------- /examples/webchat/server/.gitignore: -------------------------------------------------------------------------------- 1 | testing.rktd 2 | compiled/main_rkt.* 3 | -------------------------------------------------------------------------------- /examples/webchat/server/TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/TODO.md -------------------------------------------------------------------------------- /examples/webchat/server/account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/account.rkt -------------------------------------------------------------------------------- /examples/webchat/server/api.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/api.rkt -------------------------------------------------------------------------------- /examples/webchat/server/config.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/config.rkt -------------------------------------------------------------------------------- /examples/webchat/server/contacts.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/contacts.rkt -------------------------------------------------------------------------------- /examples/webchat/server/conversation.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/conversation.rkt -------------------------------------------------------------------------------- /examples/webchat/server/duplicate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/duplicate.rkt -------------------------------------------------------------------------------- /examples/webchat/server/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/main.rkt -------------------------------------------------------------------------------- /examples/webchat/server/pages.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/pages.rkt -------------------------------------------------------------------------------- /examples/webchat/server/protocol.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/protocol.rkt -------------------------------------------------------------------------------- /examples/webchat/server/qa.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/qa.rkt -------------------------------------------------------------------------------- /examples/webchat/server/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/run -------------------------------------------------------------------------------- /examples/webchat/server/script-compiler.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/script-compiler.rkt -------------------------------------------------------------------------------- /examples/webchat/server/session-cookie.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/session-cookie.rkt -------------------------------------------------------------------------------- /examples/webchat/server/static-content.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/static-content.rkt -------------------------------------------------------------------------------- /examples/webchat/server/testdata.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/testdata.rkt -------------------------------------------------------------------------------- /examples/webchat/server/trust.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/trust.rkt -------------------------------------------------------------------------------- /examples/webchat/server/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/examples/webchat/server/util.rkt -------------------------------------------------------------------------------- /historical/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/README.md -------------------------------------------------------------------------------- /historical/syndicate-monolithic/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/README.md -------------------------------------------------------------------------------- /historical/syndicate-monolithic/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/core.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/demand-matcher.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/demand-matcher.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/drivers/tcp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/drivers/tcp.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/drivers/timer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/drivers/timer.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/drivers/udp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/drivers/udp.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/drivers/websocket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/drivers/websocket.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/.gitignore -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/Makefile -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/bank-account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/bank-account.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/box-and-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/box-and-client.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/chat-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/chat-client.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/chat-no-quit-world-no-nesting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/chat-no-quit-world-no-nesting.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/echo.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/example-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/example-lang.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/example-layer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/example-layer.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/example-meta-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/example-meta-echo.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/example-meta-echo2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/example-meta-echo2.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/example-plain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/example-plain.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/example-quit-world.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/example-quit-world.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/mini-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/mini-echo.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/tcp-hello.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/tcp-hello.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/udp-hello-plain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/udp-hello-plain.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/ws-hello-ssl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/ws-hello-ssl.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/examples/ws-hello.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/examples/ws-hello.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/ground.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/ground.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/lang.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/lang/reader.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/main.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/mux.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/mux.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/scn.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/scn.rkt -------------------------------------------------------------------------------- /historical/syndicate-monolithic/trace/stderr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/historical/syndicate-monolithic/trace/stderr.rkt -------------------------------------------------------------------------------- /hs/.gitignore: -------------------------------------------------------------------------------- 1 | dist/ 2 | -------------------------------------------------------------------------------- /hs/Setup.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/Setup.hs -------------------------------------------------------------------------------- /hs/src/Syndicate/Dataspace/Trie/ESOP2016.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/src/Syndicate/Dataspace/Trie/ESOP2016.hs -------------------------------------------------------------------------------- /hs/src/Syndicate/Dataspace/Trie/ESOP2016v2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/src/Syndicate/Dataspace/Trie/ESOP2016v2.hs -------------------------------------------------------------------------------- /hs/src/Syndicate/Dataspace/Trie/ESOP2016v3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/src/Syndicate/Dataspace/Trie/ESOP2016v3.hs -------------------------------------------------------------------------------- /hs/src/Syndicate/Dataspace/Trie/Prefix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/src/Syndicate/Dataspace/Trie/Prefix.hs -------------------------------------------------------------------------------- /hs/syndicate.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/syndicate.cabal -------------------------------------------------------------------------------- /hs/test/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/test/Main.hs -------------------------------------------------------------------------------- /hs/test/Syndicate/Dataspace/Trie/Tests/ESOP2016.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/test/Syndicate/Dataspace/Trie/Tests/ESOP2016.hs -------------------------------------------------------------------------------- /hs/test/Syndicate/Dataspace/Trie/Tests/ESOP2016v2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/test/Syndicate/Dataspace/Trie/Tests/ESOP2016v2.hs -------------------------------------------------------------------------------- /hs/test/Syndicate/Dataspace/Trie/Tests/ESOP2016v3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/test/Syndicate/Dataspace/Trie/Tests/ESOP2016v3.hs -------------------------------------------------------------------------------- /hs/test/Syndicate/Dataspace/Trie/Tests/Prefix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/hs/test/Syndicate/Dataspace/Trie/Tests/Prefix.hs -------------------------------------------------------------------------------- /js/.gitignore: -------------------------------------------------------------------------------- 1 | scratch/ 2 | node_modules/ 3 | -------------------------------------------------------------------------------- /js/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/Makefile -------------------------------------------------------------------------------- /js/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/README.md -------------------------------------------------------------------------------- /js/bin/syndicatec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/bin/syndicatec -------------------------------------------------------------------------------- /js/compiler/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/README.md -------------------------------------------------------------------------------- /js/compiler/compiler.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/compiler.js -------------------------------------------------------------------------------- /js/compiler/demo-bad-this.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-bad-this.js -------------------------------------------------------------------------------- /js/compiler/demo-bankaccount.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-bankaccount.js -------------------------------------------------------------------------------- /js/compiler/demo-during-criterion-snapshotting.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-during-criterion-snapshotting.js -------------------------------------------------------------------------------- /js/compiler/demo-filesystem.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-filesystem.js -------------------------------------------------------------------------------- /js/compiler/demo-nested-during.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-nested-during.js -------------------------------------------------------------------------------- /js/compiler/demo-proper-interest-tracking.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-proper-interest-tracking.js -------------------------------------------------------------------------------- /js/compiler/demo-synthetic-patch-2.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/demo-synthetic-patch-2.js -------------------------------------------------------------------------------- /js/compiler/es5.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/es5.js -------------------------------------------------------------------------------- /js/compiler/es5.ohm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/es5.ohm -------------------------------------------------------------------------------- /js/compiler/inbrowser.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/inbrowser.js -------------------------------------------------------------------------------- /js/compiler/syndicate.ohm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/compiler/syndicate.ohm -------------------------------------------------------------------------------- /js/dist/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/dist/README.md -------------------------------------------------------------------------------- /js/examples/button/.gitignore: -------------------------------------------------------------------------------- 1 | *.expanded.js 2 | -------------------------------------------------------------------------------- /js/examples/button/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/button/Makefile -------------------------------------------------------------------------------- /js/examples/button/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/button/index.html -------------------------------------------------------------------------------- /js/examples/button/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/button/index.js -------------------------------------------------------------------------------- /js/examples/chat/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/chat/index.html -------------------------------------------------------------------------------- /js/examples/chat/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/chat/index.js -------------------------------------------------------------------------------- /js/examples/chat/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/chat/style.css -------------------------------------------------------------------------------- /js/examples/dom-webworker/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/dom-webworker/Makefile -------------------------------------------------------------------------------- /js/examples/dom-webworker/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/dom-webworker/index.html -------------------------------------------------------------------------------- /js/examples/dom-webworker/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/dom-webworker/index.js -------------------------------------------------------------------------------- /js/examples/dom-webworker/worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/dom-webworker/worker.js -------------------------------------------------------------------------------- /js/examples/dom/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/dom/index.html -------------------------------------------------------------------------------- /js/examples/dom/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/dom/index.js -------------------------------------------------------------------------------- /js/examples/eve/crazy-mikes/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/eve/crazy-mikes/index.html -------------------------------------------------------------------------------- /js/examples/eve/crazy-mikes/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/eve/crazy-mikes/index.js -------------------------------------------------------------------------------- /js/examples/eve/crazy-mikes/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/eve/crazy-mikes/style.css -------------------------------------------------------------------------------- /js/examples/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/index.md -------------------------------------------------------------------------------- /js/examples/iot/img/flames.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/img/flames.gif -------------------------------------------------------------------------------- /js/examples/iot/img/remote.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/img/remote.png -------------------------------------------------------------------------------- /js/examples/iot/img/stove-coil-element-cold.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/img/stove-coil-element-cold.jpg -------------------------------------------------------------------------------- /js/examples/iot/img/stove-coil-element-hot.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/img/stove-coil-element-hot.jpg -------------------------------------------------------------------------------- /js/examples/iot/img/tvscreen.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/img/tvscreen.gif -------------------------------------------------------------------------------- /js/examples/iot/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/index.html -------------------------------------------------------------------------------- /js/examples/iot/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/index.js -------------------------------------------------------------------------------- /js/examples/iot/iot-example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/iot-example.png -------------------------------------------------------------------------------- /js/examples/iot/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/iot/style.css -------------------------------------------------------------------------------- /js/examples/location/.gitignore: -------------------------------------------------------------------------------- 1 | *.expanded.js 2 | -------------------------------------------------------------------------------- /js/examples/location/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/location/Makefile -------------------------------------------------------------------------------- /js/examples/location/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/location/index.html -------------------------------------------------------------------------------- /js/examples/location/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/location/index.js -------------------------------------------------------------------------------- /js/examples/location/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/location/style.css -------------------------------------------------------------------------------- /js/examples/mixin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/mixin/Makefile -------------------------------------------------------------------------------- /js/examples/mixin/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/mixin/index.html -------------------------------------------------------------------------------- /js/examples/mixin/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/mixin/index.js -------------------------------------------------------------------------------- /js/examples/motion/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/motion/index.html -------------------------------------------------------------------------------- /js/examples/motion/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/motion/index.js -------------------------------------------------------------------------------- /js/examples/motion/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/motion/style.css -------------------------------------------------------------------------------- /js/examples/motion/tinycolor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/motion/tinycolor.js -------------------------------------------------------------------------------- /js/examples/smoketest-dsl/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/smoketest-dsl/index.html -------------------------------------------------------------------------------- /js/examples/smoketest-dsl/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/smoketest-dsl/index.js -------------------------------------------------------------------------------- /js/examples/smoketest/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/smoketest/index.html -------------------------------------------------------------------------------- /js/examples/smoketest/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/smoketest/index.js -------------------------------------------------------------------------------- /js/examples/svg/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/svg/index.html -------------------------------------------------------------------------------- /js/examples/svg/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/svg/index.js -------------------------------------------------------------------------------- /js/examples/table/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/table/index.html -------------------------------------------------------------------------------- /js/examples/table/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/table/index.js -------------------------------------------------------------------------------- /js/examples/textfield-dsl/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/textfield-dsl/index.html -------------------------------------------------------------------------------- /js/examples/textfield-dsl/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/textfield-dsl/index.js -------------------------------------------------------------------------------- /js/examples/textfield-dsl/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/textfield-dsl/style.css -------------------------------------------------------------------------------- /js/examples/textfield/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/textfield/index.html -------------------------------------------------------------------------------- /js/examples/textfield/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/textfield/index.js -------------------------------------------------------------------------------- /js/examples/textfield/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/textfield/style.css -------------------------------------------------------------------------------- /js/examples/todo/.gitignore: -------------------------------------------------------------------------------- 1 | *.expanded.js 2 | -------------------------------------------------------------------------------- /js/examples/todo/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/Makefile -------------------------------------------------------------------------------- /js/examples/todo/css/app.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/css/app.css -------------------------------------------------------------------------------- /js/examples/todo/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/index.html -------------------------------------------------------------------------------- /js/examples/todo/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/index.js -------------------------------------------------------------------------------- /js/examples/todo/node_modules/todomvc-app-css/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/node_modules/todomvc-app-css/index.css -------------------------------------------------------------------------------- /js/examples/todo/node_modules/todomvc-common/base.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/node_modules/todomvc-common/base.css -------------------------------------------------------------------------------- /js/examples/todo/todomvc-screenshot.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/todo/todomvc-screenshot.png -------------------------------------------------------------------------------- /js/examples/two-buyer-protocol/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/two-buyer-protocol/.gitignore -------------------------------------------------------------------------------- /js/examples/two-buyer-protocol/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/two-buyer-protocol/Makefile -------------------------------------------------------------------------------- /js/examples/two-buyer-protocol/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/examples/two-buyer-protocol/index.js -------------------------------------------------------------------------------- /js/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/package.json -------------------------------------------------------------------------------- /js/src/ack.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/ack.js -------------------------------------------------------------------------------- /js/src/actor.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/actor.js -------------------------------------------------------------------------------- /js/src/broker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/broker.js -------------------------------------------------------------------------------- /js/src/codec.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/codec.js -------------------------------------------------------------------------------- /js/src/dataflow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/dataflow.js -------------------------------------------------------------------------------- /js/src/dataspace.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/dataspace.js -------------------------------------------------------------------------------- /js/src/demand-matcher.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/demand-matcher.js -------------------------------------------------------------------------------- /js/src/ground.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/ground.js -------------------------------------------------------------------------------- /js/src/main.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/main.js -------------------------------------------------------------------------------- /js/src/mapset.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/mapset.js -------------------------------------------------------------------------------- /js/src/mux.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/mux.js -------------------------------------------------------------------------------- /js/src/patch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/patch.js -------------------------------------------------------------------------------- /js/src/randomid.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/randomid.js -------------------------------------------------------------------------------- /js/src/reflect.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/reflect.js -------------------------------------------------------------------------------- /js/src/seal.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/seal.js -------------------------------------------------------------------------------- /js/src/special.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/special.js -------------------------------------------------------------------------------- /js/src/struct.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/struct.js -------------------------------------------------------------------------------- /js/src/timer-driver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/timer-driver.js -------------------------------------------------------------------------------- /js/src/trie.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/trie.js -------------------------------------------------------------------------------- /js/src/ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/ui.js -------------------------------------------------------------------------------- /js/src/util.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/util.js -------------------------------------------------------------------------------- /js/src/wake-detector-driver.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/wake-detector-driver.js -------------------------------------------------------------------------------- /js/src/worker.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/src/worker.js -------------------------------------------------------------------------------- /js/test/test-dataflow.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/test/test-dataflow.js -------------------------------------------------------------------------------- /js/test/test-mux.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/test/test-mux.js -------------------------------------------------------------------------------- /js/test/test-patch.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/test/test-patch.js -------------------------------------------------------------------------------- /js/test/test-route.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/test/test-route.js -------------------------------------------------------------------------------- /js/test/test-syndicate.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/test/test-syndicate.js -------------------------------------------------------------------------------- /js/test/test-trie.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/test/test-trie.js -------------------------------------------------------------------------------- /js/third-party/jquery-2.2.0.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/js/third-party/jquery-2.2.0.min.js -------------------------------------------------------------------------------- /racket/.gitignore: -------------------------------------------------------------------------------- 1 | compiled/ 2 | scratch/ 3 | -------------------------------------------------------------------------------- /racket/FAQ.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/FAQ.md -------------------------------------------------------------------------------- /racket/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/Makefile -------------------------------------------------------------------------------- /racket/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/README.md -------------------------------------------------------------------------------- /racket/doc/forward-chaining-hll.rkt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/doc/forward-chaining-hll.rkt.txt -------------------------------------------------------------------------------- /racket/doc/forward-chaining-hll2.rkt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/doc/forward-chaining-hll2.rkt.txt -------------------------------------------------------------------------------- /racket/doc/forward-chaining-hll3.rkt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/doc/forward-chaining-hll3.rkt.txt -------------------------------------------------------------------------------- /racket/doc/forward-chaining-hll4.rkt.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/doc/forward-chaining-hll4.rkt.txt -------------------------------------------------------------------------------- /racket/doc/notes-on-hll.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/doc/notes-on-hll.md -------------------------------------------------------------------------------- /racket/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/info.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/2d.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/2d.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/TODO.md -------------------------------------------------------------------------------- /racket/syndicate-gl/affine.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/affine.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/examples/basic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/examples/basic.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/examples/clock-face.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/examples/clock-face.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/examples/many.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/examples/many.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/info.rkt -------------------------------------------------------------------------------- /racket/syndicate-gl/scribblings/syndicate-gl.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/scribblings/syndicate-gl.scrbl -------------------------------------------------------------------------------- /racket/syndicate-gl/texture.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gl/texture.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/cells-canvas.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/cells-canvas.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-1.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-2.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-3.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-4.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-5.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-6.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-6.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/examples/7-GUIS/task-7.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/examples/7-GUIS/task-7.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/info.rkt -------------------------------------------------------------------------------- /racket/syndicate-gui-toolbox/widgets.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-gui-toolbox/widgets.rkt -------------------------------------------------------------------------------- /racket/syndicate-ide/hsv.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-ide/hsv.rkt -------------------------------------------------------------------------------- /racket/syndicate-ide/info.rkt: -------------------------------------------------------------------------------- 1 | #lang setup/infotab 2 | -------------------------------------------------------------------------------- /racket/syndicate-ide/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate-ide/main.rkt -------------------------------------------------------------------------------- /racket/syndicate/actor-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/actor-lang.rkt -------------------------------------------------------------------------------- /racket/syndicate/actor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/actor.rkt -------------------------------------------------------------------------------- /racket/syndicate/big-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/big-bang.rkt -------------------------------------------------------------------------------- /racket/syndicate/big-bang/timestate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/big-bang/timestate.rkt -------------------------------------------------------------------------------- /racket/syndicate/broker/protocol.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/broker/protocol.rkt -------------------------------------------------------------------------------- /racket/syndicate/broker/server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/broker/server.rkt -------------------------------------------------------------------------------- /racket/syndicate/canonicalize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/canonicalize.rkt -------------------------------------------------------------------------------- /racket/syndicate/comprehensions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/comprehensions.rkt -------------------------------------------------------------------------------- /racket/syndicate/core-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/core-lang.rkt -------------------------------------------------------------------------------- /racket/syndicate/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/core.rkt -------------------------------------------------------------------------------- /racket/syndicate/dataflow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/dataflow.rkt -------------------------------------------------------------------------------- /racket/syndicate/dataspace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/dataspace.rkt -------------------------------------------------------------------------------- /racket/syndicate/demand-matcher.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/demand-matcher.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/config.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/config.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/filesystem.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/filesystem.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/gui.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/gui.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/irc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/irc.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/line-reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/line-reader.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/repl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/repl.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/smtp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/smtp.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/tcp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/tcp.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/tcp2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/tcp2.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/timer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/timer.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/timestate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/timestate.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/udp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/udp.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/web.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/web.rkt -------------------------------------------------------------------------------- /racket/syndicate/drivers/websocket.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/drivers/websocket.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/.gitignore -------------------------------------------------------------------------------- /racket/syndicate/examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/Makefile -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/add1-simple.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/add1-simple.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/bank-account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/bank-account.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/big-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/big-bang.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/box-and-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/box-and-client.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/broadcast-messages.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/broadcast-messages.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/ceu-leds.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/ceu-leds.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chain.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-bot.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-bot.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-client-tcp2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-client-tcp2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-client.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-multiroom-topic-persist.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-multiroom-topic-persist.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-multiroom-topic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-multiroom-topic.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-multiroom.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-multiroom.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-no-quit-world-no-nesting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-no-quit-world-no-nesting.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-no-quit-world.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-no-quit-world.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-simplified-internals.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-simplified-internals.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-simplified-internals2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-simplified-internals2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat-tcp2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat-tcp2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/chat.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/chat.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/cleanup.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/cleanup.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/double-click.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/double-click.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-action-after-suspension.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-action-after-suspension.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-assertion-spike.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-assertion-spike.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-bug-query-scope.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-bug-query-scope.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-bug-rising-edge-true.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-bug-rising-edge-true.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.buggy.msd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.buggy.msd -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.buggy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.buggy.png -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed1.msd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed1.msd -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed1.png -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed2.msd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed2.msd -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.fixed2.png -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug2.buggy.msd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug2.buggy.msd -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug2.buggy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug2.buggy.png -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-demand-matcher-glitch-bug2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-demand-matcher-glitch-bug2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-during-criterion-snapshotting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-during-criterion-snapshotting.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-filesystem.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-filesystem.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-glitch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-glitch.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-memoized.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-memoized.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-multiple-suspension-resumption.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-multiple-suspension-resumption.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-partial-retraction.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-partial-retraction.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-responsibility-transfer-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-responsibility-transfer-1.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-responsibility-transfer-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-responsibility-transfer-2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-supervise.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-supervise.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-synthetic-patch-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-synthetic-patch-2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-synthetic-patch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-synthetic-patch.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-termination-scripts-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-termination-scripts-1.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/example-termination-scripts-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/example-termination-scripts-2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/f-to-c.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/f-to-c.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/f-to-c2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/f-to-c2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/f-to-c3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/f-to-c3.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/f-to-c4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/f-to-c4.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/f-to-c5.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/f-to-c5.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/fib-server.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/fib-server.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system-during.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system-during.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system-during2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system-during2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system-lll.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system-lll.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system-lll2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system-lll2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system-script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system-script -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/file-system2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/file-system2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/firewall-demo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/firewall-demo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/flink.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/flink.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/flip-flop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/flip-flop.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/forward-chaining-mini.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/forward-chaining-mini.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/fs-protocol.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/fs-protocol.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/fs-shell.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/fs-shell.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/gui.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/gui.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/internal-knowledge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/internal-knowledge.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/irc-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/irc-client.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/irc.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/irc.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/lambda.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/lambda.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/let-event.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/let-event.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/lorem.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/lorem.txt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/make.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/make.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/mini-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/mini-echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/mutable-cell.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/mutable-cell.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/mutex.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/mutex.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/parameters.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/parameters.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/query-set.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/query-set.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/queue-no-credit.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/queue-no-credit.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/queue-no-credit2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/queue-no-credit2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/queue.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/queue.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/realize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/realize.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/rpc-with-error.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/rpc-with-error.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/running-total.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/running-total.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/sandbox-os.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/sandbox-os.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/show-field-scope-enforcement1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/show-field-scope-enforcement1.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/show-field-scope-enforcement4.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/show-field-scope-enforcement4.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/simple-cross-layer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/simple-cross-layer.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/simple-dns.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/simple-dns.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/spreadsheet-script: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/spreadsheet-script -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/spreadsheet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/spreadsheet.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/tcp-relay.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/tcp-relay.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/tcp-relay2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/tcp-relay2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/timestate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/timestate.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/two-buyer-protocol.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/two-buyer-protocol.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/udp-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/udp-echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/vacuous-facet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/vacuous-facet.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/web-demo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/web-demo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/actor/web-sanity-check.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/actor/web-sanity-check.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths.rb -------------------------------------------------------------------------------- /racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rb -------------------------------------------------------------------------------- /racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths3.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths3.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/bank-account-monolithic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/bank-account-monolithic.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/bank-account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/bank-account.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/big-bang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/big-bang.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/box-and-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/box-and-client.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/chat-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/chat-client.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/chat-no-quit-world-no-nesting.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/chat-no-quit-world-no-nesting.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/chat-no-quit-world.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/chat-no-quit-world.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/chat-simplified-internals.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/chat-simplified-internals.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/chat.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/chat.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/durable-key-value-store.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/durable-key-value-store.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-lang.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-layer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-layer.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-meta-drop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-meta-drop.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-meta-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-meta-echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-meta-echo2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-meta-echo2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-plain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-plain.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-quit-dataspace-with-assertion.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-quit-dataspace-with-assertion.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-quit-world.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-quit-world.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-swap-int-and-claim.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-swap-int-and-claim.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-wildcard-assertion-1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-wildcard-assertion-1.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/example-wildcard-assertion-2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/example-wildcard-assertion-2.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/forward-chaining.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/forward-chaining.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/key-value-store.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/key-value-store.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/mini-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/mini-echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/tcp-hello.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/tcp-hello.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/two-buyer-protocol-incremental.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/two-buyer-protocol-incremental.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/two-buyer-protocol-monolithic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/two-buyer-protocol-monolithic.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/udp-hello-plain.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/udp-hello-plain.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/udp-multicast.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/udp-multicast.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/ws-echo-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/ws-echo-client.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/ws-echo.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/ws-echo.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/ws-hello-ssl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/ws-hello-ssl.rkt -------------------------------------------------------------------------------- /racket/syndicate/examples/ws-hello.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/examples/ws-hello.rkt -------------------------------------------------------------------------------- /racket/syndicate/firewall.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/firewall.rkt -------------------------------------------------------------------------------- /racket/syndicate/functional-queue.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/functional-queue.rkt -------------------------------------------------------------------------------- /racket/syndicate/ground.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/ground.rkt -------------------------------------------------------------------------------- /racket/syndicate/hash-order.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/hash-order.rkt -------------------------------------------------------------------------------- /racket/syndicate/hierarchy.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/hierarchy.rkt -------------------------------------------------------------------------------- /racket/syndicate/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/info.rkt -------------------------------------------------------------------------------- /racket/syndicate/interactive-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/interactive-lang.rkt -------------------------------------------------------------------------------- /racket/syndicate/interactive.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/interactive.rkt -------------------------------------------------------------------------------- /racket/syndicate/lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/lang.rkt -------------------------------------------------------------------------------- /racket/syndicate/lang/reader.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/lang/reader.rkt -------------------------------------------------------------------------------- /racket/syndicate/little-actors/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/little-actors/core.rkt -------------------------------------------------------------------------------- /racket/syndicate/main.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/main.rkt -------------------------------------------------------------------------------- /racket/syndicate/monitor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/monitor.rkt -------------------------------------------------------------------------------- /racket/syndicate/monolithic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/monolithic.rkt -------------------------------------------------------------------------------- /racket/syndicate/monolithic/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/monolithic/core.rkt -------------------------------------------------------------------------------- /racket/syndicate/monolithic/scn.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/monolithic/scn.rkt -------------------------------------------------------------------------------- /racket/syndicate/mux.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/mux.rkt -------------------------------------------------------------------------------- /racket/syndicate/patch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/patch.rkt -------------------------------------------------------------------------------- /racket/syndicate/pattern.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/pattern.rkt -------------------------------------------------------------------------------- /racket/syndicate/persist.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/persist.rkt -------------------------------------------------------------------------------- /racket/syndicate/pretty.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/pretty.rkt -------------------------------------------------------------------------------- /racket/syndicate/profile.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/profile.rkt -------------------------------------------------------------------------------- /racket/syndicate/protocol/advertise.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/protocol/advertise.rkt -------------------------------------------------------------------------------- /racket/syndicate/protocol/instance.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/protocol/instance.rkt -------------------------------------------------------------------------------- /racket/syndicate/protocol/standard-relay.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/protocol/standard-relay.rkt -------------------------------------------------------------------------------- /racket/syndicate/random-test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/random-test.rkt -------------------------------------------------------------------------------- /racket/syndicate/relay.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/relay.rkt -------------------------------------------------------------------------------- /racket/syndicate/reload.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/reload.rkt -------------------------------------------------------------------------------- /racket/syndicate/scribblings/interactive.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/scribblings/interactive.scrbl -------------------------------------------------------------------------------- /racket/syndicate/scribblings/syndicate.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/scribblings/syndicate.scrbl -------------------------------------------------------------------------------- /racket/syndicate/store.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/store.rkt -------------------------------------------------------------------------------- /racket/syndicate/supervise.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/supervise.rkt -------------------------------------------------------------------------------- /racket/syndicate/supervisor.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/supervisor.rkt -------------------------------------------------------------------------------- /racket/syndicate/support/bytes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/support/bytes.rkt -------------------------------------------------------------------------------- /racket/syndicate/support/hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/support/hash.rkt -------------------------------------------------------------------------------- /racket/syndicate/support/struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/support/struct.rkt -------------------------------------------------------------------------------- /racket/syndicate/syntax-classes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/syntax-classes.rkt -------------------------------------------------------------------------------- /racket/syndicate/test-lang.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/test-lang.rkt -------------------------------------------------------------------------------- /racket/syndicate/test.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/test.rkt -------------------------------------------------------------------------------- /racket/syndicate/test/test-dataspace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/test/test-dataspace.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/bank-account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/bank-account.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/boop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/boop.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/create-new-facet-in-on-stop.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/create-new-facet-in-on-stop.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/facet-creation-during-stop-from-grandchild.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/facet-creation-during-stop-from-grandchild.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/maintain-knowledge-across-events.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/maintain-knowledge-across-events.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/multi-level-message.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/multi-level-message.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/multi-level-other-way.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/multi-level-other-way.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/nested-spawn-exceptions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/nested-spawn-exceptions.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/ping-pong.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/ping-pong.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/simple-multi-level.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/simple-multi-level.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/simple1.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/simple1.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/stop-when-react.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/stop-when-react.rkt -------------------------------------------------------------------------------- /racket/syndicate/tests/use-current-knowledge-with-new-facet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tests/use-current-knowledge-with-new-facet.rkt -------------------------------------------------------------------------------- /racket/syndicate/threaded.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/threaded.rkt -------------------------------------------------------------------------------- /racket/syndicate/trace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/trace.rkt -------------------------------------------------------------------------------- /racket/syndicate/trace/msd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/trace/msd.rkt -------------------------------------------------------------------------------- /racket/syndicate/trace/render-msd.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/trace/render-msd.rkt -------------------------------------------------------------------------------- /racket/syndicate/trace/stderr.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/trace/stderr.rkt -------------------------------------------------------------------------------- /racket/syndicate/trace/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/trace/util.rkt -------------------------------------------------------------------------------- /racket/syndicate/treap.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/treap.rkt -------------------------------------------------------------------------------- /racket/syndicate/trie.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/trie.rkt -------------------------------------------------------------------------------- /racket/syndicate/tset.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/tset.rkt -------------------------------------------------------------------------------- /racket/syndicate/upside-down.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/upside-down.rkt -------------------------------------------------------------------------------- /racket/syndicate/util.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/syndicate/util.rkt -------------------------------------------------------------------------------- /racket/typed/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/.gitignore -------------------------------------------------------------------------------- /racket/typed/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/Makefile -------------------------------------------------------------------------------- /racket/typed/core.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/core.rkt -------------------------------------------------------------------------------- /racket/typed/examples/anonymous-facet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/anonymous-facet.rkt -------------------------------------------------------------------------------- /racket/typed/examples/bank-account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/bank-account.rkt -------------------------------------------------------------------------------- /racket/typed/examples/book-club.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/book-club.rkt -------------------------------------------------------------------------------- /racket/typed/examples/cell.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/cell.rkt -------------------------------------------------------------------------------- /racket/typed/examples/chat-tcp2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/chat-tcp2.rkt -------------------------------------------------------------------------------- /racket/typed/examples/core/bank-account.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/core/bank-account.rkt -------------------------------------------------------------------------------- /racket/typed/examples/core/book-club.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/core/book-club.rkt -------------------------------------------------------------------------------- /racket/typed/examples/core/box-and-client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/core/box-and-client.rkt -------------------------------------------------------------------------------- /racket/typed/examples/file-system.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/file-system.rkt -------------------------------------------------------------------------------- /racket/typed/examples/flink-support.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/flink-support.rkt -------------------------------------------------------------------------------- /racket/typed/examples/flink.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/flink.rkt -------------------------------------------------------------------------------- /racket/typed/examples/internal-knowledge.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/internal-knowledge.rkt -------------------------------------------------------------------------------- /racket/typed/examples/lorem.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/lorem.txt -------------------------------------------------------------------------------- /racket/typed/examples/observe-star.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/observe-star.rkt -------------------------------------------------------------------------------- /racket/typed/examples/ping-pong.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/ping-pong.rkt -------------------------------------------------------------------------------- /racket/typed/examples/provides.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/provides.rkt -------------------------------------------------------------------------------- /racket/typed/examples/realize.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/realize.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require-struct/client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require-struct/client.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require-struct/client2.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require-struct/client2.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require-struct/driver.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require-struct/driver.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require-struct/omit-accs/lib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require-struct/omit-accs/lib.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require-struct/omit-accs/require-omit-accs.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require-struct/omit-accs/require-omit-accs.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require:typed/client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require:typed/client.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require:typed/lib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require:typed/lib.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require:typed/opaque/client-arity.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require:typed/opaque/client-arity.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require:typed/opaque/client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require:typed/opaque/client.rkt -------------------------------------------------------------------------------- /racket/typed/examples/require:typed/opaque/lib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/require:typed/opaque/lib.rkt -------------------------------------------------------------------------------- /racket/typed/examples/requires.rkt: -------------------------------------------------------------------------------- 1 | #lang typed/syndicate 2 | 3 | (require "provides.rkt") 4 | 5 | (a-fun 5) 6 | -------------------------------------------------------------------------------- /racket/typed/examples/simple-dataflow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-dataflow.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-dataspace.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-dataspace.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-during-spawn.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-during-spawn.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-during.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-during.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-query-hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-query-hash.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-query-set.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-query-set.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-query-value.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-query-value.rkt -------------------------------------------------------------------------------- /racket/typed/examples/simple-stop-facet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/simple-stop-facet.rkt -------------------------------------------------------------------------------- /racket/typed/examples/struct-out/client.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/struct-out/client.rkt -------------------------------------------------------------------------------- /racket/typed/examples/struct-out/struct-in.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/struct-out/struct-in.rkt -------------------------------------------------------------------------------- /racket/typed/examples/struct-out/struct-out.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/struct-out/struct-out.rkt -------------------------------------------------------------------------------- /racket/typed/examples/struct-out/typed-out.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/struct-out/typed-out.rkt -------------------------------------------------------------------------------- /racket/typed/examples/struct-out/untyped.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/struct-out/untyped.rkt -------------------------------------------------------------------------------- /racket/typed/examples/two-buyer-protocol.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/two-buyer-protocol.rkt -------------------------------------------------------------------------------- /racket/typed/examples/with-facets.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/examples/with-facets.rkt -------------------------------------------------------------------------------- /racket/typed/info.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/info.rkt -------------------------------------------------------------------------------- /racket/typed/leader-and-seller.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/leader-and-seller.pml -------------------------------------------------------------------------------- /racket/typed/scribblings/typed-syndicate.scrbl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/scribblings/typed-syndicate.scrbl -------------------------------------------------------------------------------- /racket/typed/syndicate/2d.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/2d.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/compile-spin.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/compile-spin.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/core-expressions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/core-expressions.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/core-types.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/core-types.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/core/lang/reader.rkt: -------------------------------------------------------------------------------- 1 | #lang s-exp syntax/module-reader 2 | typed/core 3 | -------------------------------------------------------------------------------- /racket/typed/syndicate/drivers/tcp.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/drivers/tcp.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/drivers/timestate.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/drivers/timestate.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/either.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/either.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/first-facet-lang-attempt.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/first-facet-lang-attempt.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/for-loops.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/for-loops.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/hash.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/hash.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/lang/reader.rkt: -------------------------------------------------------------------------------- 1 | #lang s-exp syntax/module-reader 2 | typed/syndicate/roles 3 | -------------------------------------------------------------------------------- /racket/typed/syndicate/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/list.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/ltl.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/ltl.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/maybe.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/maybe.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/prim.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/prim.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/proto.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/proto.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/replay-trail.sh: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | 3 | spin -p -t $1 4 | -------------------------------------------------------------------------------- /racket/typed/syndicate/roles.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/roles.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/roles/lang/reader.rkt: -------------------------------------------------------------------------------- 1 | #lang s-exp syntax/module-reader 2 | typed/syndicate/roles 3 | -------------------------------------------------------------------------------- /racket/typed/syndicate/run-spin.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/run-spin.sh -------------------------------------------------------------------------------- /racket/typed/syndicate/sequence.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/sequence.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/set.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/set.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/spin-prelude.pml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/spin-prelude.pml -------------------------------------------------------------------------------- /racket/typed/syndicate/sugar.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/sugar.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/supervise.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/supervise.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/syntax-serializer.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/syntax-serializer.rkt -------------------------------------------------------------------------------- /racket/typed/syndicate/test-utils.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/syndicate/test-utils.rkt -------------------------------------------------------------------------------- /racket/typed/tests/assert-star.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/assert-star.rkt -------------------------------------------------------------------------------- /racket/typed/tests/basic-bad-assertion.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/basic-bad-assertion.rkt -------------------------------------------------------------------------------- /racket/typed/tests/bind-big-pattern.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/bind-big-pattern.rkt -------------------------------------------------------------------------------- /racket/typed/tests/comm-ty-composition.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/comm-ty-composition.rkt -------------------------------------------------------------------------------- /racket/typed/tests/constructor-naming-conventions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/constructor-naming-conventions.rkt -------------------------------------------------------------------------------- /racket/typed/tests/constructor-some-default-tys.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/constructor-some-default-tys.rkt -------------------------------------------------------------------------------- /racket/typed/tests/define-dataflow.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/define-dataflow.rkt -------------------------------------------------------------------------------- /racket/typed/tests/discard-pattern-tys.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/discard-pattern-tys.rkt -------------------------------------------------------------------------------- /racket/typed/tests/effect-polymorhpism.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/effect-polymorhpism.rkt -------------------------------------------------------------------------------- /racket/typed/tests/endpoint-effects-branch.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/endpoint-effects-branch.rkt -------------------------------------------------------------------------------- /racket/typed/tests/expressions.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/expressions.rkt -------------------------------------------------------------------------------- /racket/typed/tests/floating-define.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/floating-define.rkt -------------------------------------------------------------------------------- /racket/typed/tests/for-loop-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/for-loop-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/for-loops.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/for-loops.rkt -------------------------------------------------------------------------------- /racket/typed/tests/hashes.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/hashes.rkt -------------------------------------------------------------------------------- /racket/typed/tests/implicit-root-facet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/implicit-root-facet.rkt -------------------------------------------------------------------------------- /racket/typed/tests/inference.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/inference.rkt -------------------------------------------------------------------------------- /racket/typed/tests/lift-facet-names.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/lift-facet-names.rkt -------------------------------------------------------------------------------- /racket/typed/tests/list.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/list.rkt -------------------------------------------------------------------------------- /racket/typed/tests/overly-broad-interests.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/overly-broad-interests.rkt -------------------------------------------------------------------------------- /racket/typed/tests/pattern-annotations.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/pattern-annotations.rkt -------------------------------------------------------------------------------- /racket/typed/tests/phantom-rho.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/phantom-rho.rkt -------------------------------------------------------------------------------- /racket/typed/tests/primitives.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/primitives.rkt -------------------------------------------------------------------------------- /racket/typed/tests/regression-count-new-words.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/regression-count-new-words.rkt -------------------------------------------------------------------------------- /racket/typed/tests/regression-define-with-effects.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/regression-define-with-effects.rkt -------------------------------------------------------------------------------- /racket/typed/tests/removing-annotations.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/removing-annotations.rkt -------------------------------------------------------------------------------- /racket/typed/tests/require-struct-some-default-tys.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/require-struct-some-default-tys.rkt -------------------------------------------------------------------------------- /racket/typed/tests/require-struct.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/require-struct.rkt -------------------------------------------------------------------------------- /racket/typed/tests/require-typed.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/require-typed.rkt -------------------------------------------------------------------------------- /racket/typed/tests/sequences.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/sequences.rkt -------------------------------------------------------------------------------- /racket/typed/tests/sets.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/sets.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spawn-cell-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spawn-cell-bug.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spawn-with-name.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spawn-with-name.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spawn.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spawn.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/A-and-M-not-necessary.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/A-and-M-not-necessary.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/basic-assertion-communication.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/basic-assertion-communication.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/basic-assertion.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/basic-assertion.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/basic-deadlock-freedom.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/basic-deadlock-freedom.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/basic-io.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/basic-io.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/cyclic-role-graph-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/cyclic-role-graph-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/deadlock-free-syntax-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/deadlock-free-syntax-bug.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/duplicate-facet-names-behavior-lost-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/duplicate-facet-names-behavior-lost-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/duplicate-facet-names-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/duplicate-facet-names-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/during-spawn-stop-when.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/during-spawn-stop-when.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/io-subtype-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/io-subtype-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/message-subtyping-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/message-subtyping-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/no-behavior-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/no-behavior-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/smarthome-io-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/smarthome-io-bug.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/spec-message-supertype-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/spec-message-supertype-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/super-to-partial-subtype-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/super-to-partial-subtype-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/super-to-subtype-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/super-to-subtype-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/uninterested-retraction.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/uninterested-retraction.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/use-type-of-expression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/use-type-of-expression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/var-assert-basic.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/var-assert-basic.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/verify-actors-none-error-message.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/verify-actors-none-error-message.rkt -------------------------------------------------------------------------------- /racket/typed/tests/spin/webchat-performance-regression.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/spin/webchat-performance-regression.rkt -------------------------------------------------------------------------------- /racket/typed/tests/stop-when.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/stop-when.rkt -------------------------------------------------------------------------------- /racket/typed/tests/struct-provider.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/struct-provider.rkt -------------------------------------------------------------------------------- /racket/typed/tests/this-facet.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/this-facet.rkt -------------------------------------------------------------------------------- /racket/typed/tests/typed-gui-input-bug.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/typed-gui-input-bug.rkt -------------------------------------------------------------------------------- /racket/typed/tests/untyped-lib.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/untyped-lib.rkt -------------------------------------------------------------------------------- /racket/typed/tests/var-assert.rkt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tonyg/syndicate/HEAD/racket/typed/tests/var-assert.rkt --------------------------------------------------------------------------------