The version of Syndicate current at the conclusion of Tony Garnock-Jones's PhD research, end-of-2017/start-of-2018.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Sam Caldwell 690f9e65a8 more docs and cleanups 1 month ago
..
add1-simple.rkt add1-simple.rkt 4 years ago
bank-account.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
big-bang.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
box-and-client.rkt message-struct and assertion-struct 4 years ago
broadcast-messages.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
ceu-leds.rkt ceu-leds.rkt 4 years ago
chain.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-bot.rkt chat-bot.rkt 4 years ago
chat-client-tcp2.rkt send newlines in tcp2 chat client 2 years ago
chat-client.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-multiroom-topic-persist.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-multiroom-topic.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-multiroom.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-no-quit-world-no-nesting.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-no-quit-world.rkt Make HLL `dataspace` no longer automatically `quit-dataspace`. Fixes #20. 4 years ago
chat-simplified-internals.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-simplified-internals2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
chat-tcp2.rkt Use tcp-in-line in chat-tcp2.rkt 4 years ago
chat.rkt Make HLL `dataspace` no longer automatically `quit-dataspace`. Fixes #20. 4 years ago
cleanup.rkt cleanup.rkt 4 years ago
double-click.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
echo.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-action-after-suspension.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-assertion-spike.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-bug-query-scope.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-bug-rising-edge-true.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-demand-matcher-glitch-bug.buggy.msd Fix responsibility-handoff for TCP listener. 4 years ago
example-demand-matcher-glitch-bug.buggy.png Update renders 4 years ago
example-demand-matcher-glitch-bug.fixed1.msd Fix responsibility-handoff for TCP listener. 4 years ago
example-demand-matcher-glitch-bug.fixed1.png Update renders 4 years ago
example-demand-matcher-glitch-bug.fixed2.msd Fix responsibility-handoff for TCP listener. 4 years ago
example-demand-matcher-glitch-bug.fixed2.png Update renders 4 years ago
example-demand-matcher-glitch-bug.rkt Better comments. 4 years ago
example-demand-matcher-glitch-bug2.buggy.msd Demonstrate the general insufficiency of the approach of commit 2a0197b 4 years ago
example-demand-matcher-glitch-bug2.buggy.png Demonstrate the general insufficiency of the approach of commit 2a0197b 4 years ago
example-demand-matcher-glitch-bug2.rkt Better comments. 4 years ago
example-during-criterion-snapshotting.rkt Update example-during-criterion-snapshotting.rkt 3 years ago
example-filesystem.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-glitch.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-memoized.rkt example-memoized.rkt 3 years ago
example-multiple-suspension-resumption.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-partial-retraction.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-responsibility-transfer-1.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-responsibility-transfer-2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-supervise.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-synthetic-patch-2.rkt Fix a design flaw in Syndicate-HLL for syndicate/rkt. 3 years ago
example-synthetic-patch.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-termination-scripts-1.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
example-termination-scripts-2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
f-to-c.rkt Two equations are better than one blob 4 years ago
f-to-c2.rkt Stay rational 4 years ago
f-to-c3.rkt f-to-c3.rkt 4 years ago
f-to-c4.rkt New variations on f-to-c 4 years ago
f-to-c5.rkt New variations on f-to-c 4 years ago
fib-server.rkt Make HLL `dataspace` no longer automatically `quit-dataspace`. Fixes #20. 4 years ago
file-system-during.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
file-system-during2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
file-system-lll.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
file-system-lll2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
file-system-script Alpha convert: prospect -> syndicate 5 years ago
file-system.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
file-system2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
firewall-demo.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
flink.rkt cleanup 1 year ago
flip-flop.rkt More flip-flop tweaks 4 years ago
forward-chaining-mini.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
fs-protocol.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
fs-shell.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
gui.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
internal-knowledge.rkt (during (know P) O ...) for internal knowledge 1 year ago
irc-client.rkt Terminal-based IRC client 4 years ago
irc.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
lambda.rkt Cosmetic 4 years ago
let-event.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
lorem.txt add flink test input 1 year ago
make.rkt Simplify make.rkt slightly 4 years ago
mini-echo.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
mutable-cell.rkt New examples 4 years ago
mutex.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
parameters.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
query-set.rkt Make HLL `dataspace` no longer automatically `quit-dataspace`. Fixes #20. 4 years ago
queue-no-credit.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
queue-no-credit2.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
queue.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
realize.rkt Create an actor-internal event system oriented around assertions and 1 year ago
rpc-with-error.rkt Positively assert detected failures during continuous interest 4 years ago
running-total.rkt running-total.rkt 4 years ago
sandbox-os.rkt Make HLL `dataspace` no longer automatically `quit-dataspace`. Fixes #20. 4 years ago
show-field-scope-enforcement1.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
show-field-scope-enforcement4.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
simple-cross-layer.rkt New examples 4 years ago
simple-dns.rkt Alternate approach to caching 4 years ago
spreadsheet-script Alpha convert: prospect -> syndicate 5 years ago
spreadsheet.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
tcp-relay.rkt New examples 4 years ago
tcp-relay2.rkt tcp-relay2.rkt 4 years ago
timestate.rkt Another timestate example 4 years ago
two-buyer-protocol.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
udp-echo.rkt Tweaks to udp-echo.rkt 4 years ago
vacuous-facet.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
web-demo.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago
web-sanity-check.rkt Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17. 4 years ago