.. |
add1-simple.rkt
|
add1-simple.rkt
|
2017-10-21 14:56:46 +01:00 |
bank-account.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
big-bang.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
box-and-client.rkt
|
message-struct and assertion-struct
|
2017-09-13 19:08:01 +01:00 |
broadcast-messages.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
ceu-leds.rkt
|
ceu-leds.rkt
|
2017-10-20 16:25:16 +01:00 |
chain.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-bot.rkt
|
chat-bot.rkt
|
2017-10-20 11:54:04 +01:00 |
chat-client-tcp2.rkt
|
send newlines in tcp2 chat client
|
2019-01-25 11:16:06 -05:00 |
chat-client.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-multiroom-topic-persist.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-multiroom-topic.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-multiroom.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-no-quit-world-no-nesting.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-no-quit-world.rkt
|
Make HLL dataspace no longer automatically quit-dataspace . Fixes #20.
|
2017-09-25 23:52:29 +01:00 |
chat-simplified-internals.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-simplified-internals2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
chat-tcp2.rkt
|
Use tcp-in-line in chat-tcp2.rkt
|
2017-10-21 14:54:53 +01:00 |
chat.rkt
|
Make HLL dataspace no longer automatically quit-dataspace . Fixes #20.
|
2017-09-25 23:52:29 +01:00 |
cleanup.rkt
|
cleanup.rkt
|
2017-10-31 17:00:09 +00:00 |
double-click.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
echo.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-action-after-suspension.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-assertion-spike.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-bug-query-scope.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-bug-rising-edge-true.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-demand-matcher-glitch-bug.buggy.msd
|
Fix responsibility-handoff for TCP listener.
|
2017-08-22 16:53:57 -04:00 |
example-demand-matcher-glitch-bug.buggy.png
|
Update renders
|
2017-08-27 07:50:17 -04:00 |
example-demand-matcher-glitch-bug.fixed1.msd
|
Fix responsibility-handoff for TCP listener.
|
2017-08-22 16:53:57 -04:00 |
example-demand-matcher-glitch-bug.fixed1.png
|
Update renders
|
2017-08-27 07:50:17 -04:00 |
example-demand-matcher-glitch-bug.fixed2.msd
|
Fix responsibility-handoff for TCP listener.
|
2017-08-22 16:53:57 -04:00 |
example-demand-matcher-glitch-bug.fixed2.png
|
Update renders
|
2017-08-27 07:50:17 -04:00 |
example-demand-matcher-glitch-bug.rkt
|
Better comments.
|
2017-08-27 08:18:11 -04:00 |
example-demand-matcher-glitch-bug2.buggy.msd
|
Demonstrate the general insufficiency of the approach of commit 2a0197b
|
2017-08-27 07:50:09 -04:00 |
example-demand-matcher-glitch-bug2.buggy.png
|
Demonstrate the general insufficiency of the approach of commit 2a0197b
|
2017-08-27 07:50:09 -04:00 |
example-demand-matcher-glitch-bug2.rkt
|
Better comments.
|
2017-08-27 08:18:11 -04:00 |
example-during-criterion-snapshotting.rkt
|
Update example-during-criterion-snapshotting.rkt
|
2018-04-29 21:48:49 +01:00 |
example-filesystem.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-glitch.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-memoized.rkt
|
example-memoized.rkt
|
2018-03-06 17:35:40 +00:00 |
example-multiple-suspension-resumption.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-partial-retraction.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-responsibility-transfer-1.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-responsibility-transfer-2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-supervise.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-synthetic-patch-2.rkt
|
Fix a design flaw in Syndicate-HLL for syndicate/rkt.
|
2018-03-27 21:58:57 +13:00 |
example-synthetic-patch.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-termination-scripts-1.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
example-termination-scripts-2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
f-to-c.rkt
|
Two equations are better than one blob
|
2017-10-17 21:21:27 +01:00 |
f-to-c2.rkt
|
Stay rational
|
2017-08-10 17:40:15 -04:00 |
f-to-c3.rkt
|
f-to-c3.rkt
|
2017-08-10 17:08:31 -04:00 |
f-to-c4.rkt
|
New variations on f-to-c
|
2017-10-17 18:49:26 +01:00 |
f-to-c5.rkt
|
New variations on f-to-c
|
2017-10-17 18:49:26 +01:00 |
fib-server.rkt
|
Make HLL dataspace no longer automatically quit-dataspace . Fixes #20.
|
2017-09-25 23:52:29 +01:00 |
file-system-during.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
file-system-during2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
file-system-lll.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
file-system-lll2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
file-system-script
|
Alpha convert: prospect -> syndicate
|
2016-04-01 19:53:46 -04:00 |
file-system.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
file-system2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
firewall-demo.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
flink.rkt
|
cleanup
|
2020-03-10 11:44:24 -04:00 |
flip-flop.rkt
|
More flip-flop tweaks
|
2017-09-15 21:46:39 +01:00 |
forward-chaining-mini.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
fs-protocol.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
fs-shell.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
gui.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
internal-knowledge.rkt
|
(during (know P) O ...) for internal knowledge
|
2020-03-10 11:44:15 -04:00 |
irc-client.rkt
|
Terminal-based IRC client
|
2017-10-01 11:08:46 +01:00 |
irc.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
lambda.rkt
|
Cosmetic
|
2017-03-08 06:45:40 -05:00 |
let-event.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
lorem.txt
|
add flink test input
|
2020-03-23 09:25:01 -04:00 |
make.rkt
|
Simplify make.rkt slightly
|
2017-09-29 13:13:57 +01:00 |
mini-echo.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
mutable-cell.rkt
|
New examples
|
2017-09-28 16:26:01 +01:00 |
mutex.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
parameters.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
query-set.rkt
|
Make HLL dataspace no longer automatically quit-dataspace . Fixes #20.
|
2017-09-25 23:52:29 +01:00 |
queue-no-credit.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
queue-no-credit2.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
queue.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
realize.rkt
|
Create an actor-internal event system oriented around assertions and
|
2020-03-10 11:44:15 -04:00 |
rpc-with-error.rkt
|
Positively assert detected failures during continuous interest
|
2017-10-02 14:31:58 +01:00 |
running-total.rkt
|
running-total.rkt
|
2017-10-01 15:27:58 +01:00 |
sandbox-os.rkt
|
Make HLL dataspace no longer automatically quit-dataspace . Fixes #20.
|
2017-09-25 23:52:29 +01:00 |
show-field-scope-enforcement1.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
show-field-scope-enforcement4.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
simple-cross-layer.rkt
|
New examples
|
2017-09-28 16:26:01 +01:00 |
simple-dns.rkt
|
Alternate approach to caching
|
2017-12-06 09:13:28 +00:00 |
spreadsheet-script
|
Alpha convert: prospect -> syndicate
|
2016-04-01 19:53:46 -04:00 |
spreadsheet.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
tcp-relay.rkt
|
New examples
|
2017-12-05 17:32:12 +00:00 |
tcp-relay2.rkt
|
tcp-relay2.rkt
|
2017-12-05 17:38:49 +00:00 |
timestate.rkt
|
Another timestate example
|
2017-09-28 17:41:17 +01:00 |
two-buyer-protocol.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
udp-echo.rkt
|
Tweaks to udp-echo.rkt
|
2017-09-29 17:34:40 +01:00 |
vacuous-facet.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
web-demo.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |
web-sanity-check.rkt
|
Make #lang syndicate equivalent to #lang syndicate/actor. Fixes #17.
|
2017-08-10 15:17:28 -04:00 |