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