syndicate

A language for interactive programs

Build status: ok failing tests

Authors

tonygarnockjones@gmail.com

Documentation

Tags

Last updated

Wednesday, June 17th, 2020 8:30:39pm (UTC)

Ring

Conflicts

None

Dependencies

Most recent build results

Compiled successfully: transcript
Tests failed: transcript

Version Exceptions

Version	Source	Checksum
default	git://github.com/tonyg/syndicate?path=racket/	04995b5fb3d2ae8e764c3a458efd54ff2560b82a

Last checked

Thursday, July 2nd, 2020 12:23:25pm (UTC)

Last edited

Saturday, April 2nd, 2016 3:33:48pm (UTC)

Date added

N/A

Modules

syndicate/examples/key-value-store.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-4.rkt
typed/examples/roles/realize.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-1.rkt
syndicate/mux.rkt
syndicate/examples/actor/show-field-scope-enforcement1.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-7.rkt
syndicate/tests/use-current-knowledge-with-new-facet.rkt
syndicate/examples/actor/realize.rkt
syndicate/drivers/web.rkt
syndicate/profile.rkt
syndicate/examples/actor/file-system2.rkt
typed/examples/roles/requires.rkt
syndicate/examples/actor/f-to-c5.rkt
syndicate/protocol/instance.rkt
typed/examples/roles/simple-query-hash.rkt
syndicate-ide/hsv.rkt
syndicate/examples/actor/rpc-with-error.rkt
syndicate/examples/actor/timestate.rkt
typed/test-utils.rkt
syndicate/relay.rkt
typed/prim.rkt
syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt
syndicate/test.rkt
syndicate/examples/actor/irc.rkt
syndicate/examples/actor/forward-chaining-mini.rkt
typed/examples/core/bank-account.rkt
typed/hash.rkt
syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths3.rkt
syndicate/examples/actor/chat-bot.rkt
syndicate/tests/ping-pong.rkt
syndicate/examples/example-plain.rkt
typed/examples/roles/flink.rkt
typed/set.rkt
syndicate/trace/stderr.rkt
syndicate/tests/stop-when-react.rkt
typed/tests/define-dataflow.rkt
typed/examples/roles/simple-query-value.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-5.rkt
syndicate/dataflow.rkt
typed/maybe.rkt
typed/examples/roles/simple-stop-facet.rkt
syndicate/big-bang.rkt
syndicate/pattern.rkt
syndicate/broker/server.rkt
syndicate/examples/bank-account.rkt
syndicate/tests/bank-account.rkt
typed/tests/sets.rkt
typed/proto.rkt
syndicate/lang.rkt
syndicate/examples/actor/spreadsheet.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-6.rkt
syndicate/comprehensions.rkt
syndicate/examples/actor/example-during-criterion-snapshotting.rkt
typed/examples/roles/flink-support.rkt
syndicate-gl/scribblings/syndicate-gl.scrbl
syndicate/examples/actor/file-system-lll.rkt
syndicate/examples/actor/running-total.rkt
syndicate/examples/actor/chat.rkt
typed/tests/phantom-rho.rkt
syndicate/examples/example-meta-echo2.rkt
typed/examples/roles/simple-during.rkt
syndicate/random-test.rkt
syndicate/examples/actor/show-field-scope-enforcement4.rkt
syndicate/big-bang/timestate.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-3.rkt
typed/examples/roles/provides.rkt
syndicate/examples/actor/example-responsibility-transfer-1.rkt
syndicate/examples/box-and-client.rkt
syndicate/drivers/config.rkt
syndicate/examples/actor/example-memoized.rkt
syndicate/drivers/timer.rkt
syndicate/actor.rkt
typed/tests/floating-define.rkt
syndicate/examples/actor/chat-client-tcp2.rkt
syndicate/examples/ws-echo.rkt
typed/examples/roles/internal-knowledge.rkt
syndicate/monolithic/core.rkt
syndicate/monitor.rkt
syndicate-gl/examples/many.rkt
typed/tests/primitives.rkt
typed/examples/roles/ping-pong.rkt
syndicate/examples/actor/cleanup.rkt
syndicate/examples/actor/chat-simplified-internals2.rkt
syndicate/examples/actor/big-bang.rkt
syndicate/examples/two-buyer-protocol-monolithic.rkt
syndicate/examples/actor/queue.rkt
syndicate/examples/actor/bank-account.rkt
typed/syndicate/roles/lang/reader.rkt
syndicate/support/struct.rkt
syndicate/examples/actor/f-to-c2.rkt
syndicate-gl/texture.rkt
typed/tests/basic-bad-assertion.rkt
syndicate/tests/simple1.rkt
syndicate/examples/actor/fs-protocol.rkt
syndicate-ide/main.rkt
syndicate/tests/boop.rkt
syndicate/examples/two-buyer-protocol-incremental.rkt
syndicate/examples/actor/chat-no-quit-world-no-nesting.rkt
syndicate/examples/example-quit-dataspace-with-assertion.rkt
typed/main.rkt
syndicate/store.rkt
syndicate/examples/actor/let-event.rkt
syndicate/examples/echo.rkt
syndicate/examples/actor/chat-no-quit-world.rkt
typed/examples/roles/simple-dataflow.rkt
syndicate/examples/chat-no-quit-world-no-nesting.rkt
syndicate/examples/actor/web-sanity-check.rkt
syndicate/examples/actor/queue-no-credit.rkt
typed/core-types.rkt
syndicate/examples/actor/example-responsibility-transfer-2.rkt
syndicate/examples/actor/example-termination-scripts-1.rkt
syndicate/examples/example-layer.rkt
syndicate/trace/render-msd.rkt
syndicate/examples/udp-multicast.rkt
typed/examples/core/box-and-client.rkt
syndicate-gl/2d.rkt
typed/examples/roles/bank-account.rkt
syndicate/examples/actor/mutex.rkt
syndicate/examples/actor/chat-multiroom-topic.rkt
syndicate/examples/actor/chat-client.rkt
syndicate/drivers/filesystem.rkt
typed/examples/roles/cell.rkt
typed/drivers/tcp.rkt
syndicate/syntax-classes.rkt
syndicate/examples/chat-no-quit-world.rkt
typed/for-loops.rkt
typed/tests/spawn.rkt
syndicate/drivers/irc.rkt
syndicate/drivers/websocket.rkt
syndicate/pretty.rkt
syndicate/dataspace.rkt
typed/tests/for-loops.rkt
syndicate-gui-toolbox/examples/7-GUIS/cells-canvas.rkt
typed/examples/roles/simple-dataspace.rkt
syndicate/examples/actor/example-synthetic-patch-2.rkt
syndicate/drivers/timestate.rkt
syndicate/actor-lang.rkt
syndicate/demand-matcher.rkt
syndicate/examples/durable-key-value-store.rkt
typed/tests/sequences.rkt
syndicate/examples/mini-echo.rkt
typed/syndicate/lang/reader.rkt
syndicate/tests/nested-spawn-exceptions.rkt
typed/examples/roles/simple-query-set.rkt
typed/core-expressions.rkt
syndicate/examples/actor/mini-echo.rkt
typed/examples/roles/two-buyer-protocol.rkt
syndicate/drivers/tcp.rkt
syndicate/examples/tcp-hello.rkt
syndicate/firewall.rkt
syndicate/examples/actor/f-to-c4.rkt
syndicate/examples/actor/example-assertion-spike.rkt
syndicate/upside-down.rkt
syndicate/examples/actor/fs-shell.rkt
syndicate/examples/actor/example-partial-retraction.rkt
syndicate/support/hash.rkt
syndicate/examples/actor/chat-simplified-internals.rkt
syndicate/trie.rkt
syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths.rkt
syndicate/examples/example-wildcard-assertion-1.rkt
syndicate/examples/actor/f-to-c.rkt
syndicate/trace/msd.rkt
typed/tests/effect-polymorhpism.rkt
syndicate-gui-toolbox/examples/7-GUIS/task-2.rkt
syndicate/examples/actor/chat-multiroom-topic-persist.rkt
syndicate/hash-order.rkt
syndicate/functional-queue.rkt
syndicate/drivers/gui.rkt
syndicate/examples/actor/two-buyer-protocol.rkt
typed/tests/inference.rkt
syndicate/examples/actor/flip-flop.rkt
syndicate/examples/actor/broadcast-messages.rkt
syndicate/examples/actor/sandbox-os.rkt
syndicate/examples/actor/tcp-relay2.rkt
typed/examples/roles/require-struct/client.rkt
syndicate/examples/actor/fib-server.rkt
syndicate/examples/example-quit-world.rkt
syndicate/supervise.rkt
typed/compile-spin.rkt
syndicate/examples/actor/vacuous-facet.rkt
syndicate/examples/actor/mutable-cell.rkt
syndicate/examples/actor/firewall-demo.rkt
syndicate/examples/ws-echo-client.rkt
syndicate/core.rkt
syndicate/examples/actor/simple-dns.rkt
syndicate/examples/actor/internal-knowledge.rkt
syndicate/examples/actor/ceu-leds.rkt
syndicate/examples/forward-chaining.rkt
syndicate/lang/reader.rkt
syndicate/examples/actor/chain.rkt
syndicate/examples/actor/file-system-during2.rkt
syndicate/examples/actor/box-and-client.rkt
syndicate-gl/examples/clock-face.rkt
syndicate/examples/actor/add1-simple.rkt
syndicate/trace/util.rkt
typed/examples/roles/chat-tcp2.rkt
syndicate/main.rkt
typed/examples/roles/file-system.rkt
typed/tests/regression-count-new-words.rkt
syndicate/examples/example-meta-echo.rkt
syndicate/hierarchy.rkt
syndicate/examples/actor/double-click.rkt
syndicate/ground.rkt
syndicate/examples/actor/gui.rkt
typed/tests/regression-define-with-effects.rkt
syndicate/monolithic.rkt
syndicate/test-lang.rkt
typed/roles.rkt
syndicate/examples/actor/chat-multiroom.rkt
syndicate/tests/create-new-facet-in-on-stop.rkt
syndicate/examples/actor/example-demand-matcher-glitch-bug2.rkt
syndicate/tests/simple-multi-level.rkt
syndicate/examples/example-meta-drop.rkt
typed/examples/roles/require-struct/driver.rkt
typed/examples/roles/book-club.rkt
syndicate/little-actors/core.rkt
syndicate/examples/actor/example-termination-scripts-2.rkt
syndicate/core-lang.rkt
syndicate/examples/chat-client.rkt
syndicate/examples/ws-hello-ssl.rkt
syndicate/examples/actor/example-multiple-suspension-resumption.rkt
syndicate/examples/actor/example-bug-query-scope.rkt
typed/list.rkt
syndicate/examples/actor/queue-no-credit2.rkt
syndicate/examples/actor/query-set.rkt
syndicate/examples/actor/file-system-lll2.rkt
syndicate/examples/actor/flink.rkt
syndicate/scribblings/syndicate.scrbl
syndicate/protocol/standard-relay.rkt
typed/ltl.rkt
syndicate/examples/actor/f-to-c3.rkt
syndicate/tests/maintain-knowledge-across-events.rkt
syndicate/examples/actor/example-bug-rising-edge-true.rkt
typed/example.rkt
syndicate/examples/actor/irc-client.rkt
typed/core.rkt
syndicate/examples/actor/web-demo.rkt
syndicate/support/bytes.rkt
syndicate/drivers/smtp.rkt
syndicate/tests/facet-creation-during-stop-from-grandchild.rkt
syndicate/examples/actor/echo.rkt
syndicate/tset.rkt
typed/syndicate/core/lang/reader.rkt
syndicate/examples/actor/example-demand-matcher-glitch-bug.rkt
syndicate/examples/example-swap-int-and-claim.rkt
typed/tests/expressions.rkt
syndicate/examples/bank-account-monolithic.rkt
syndicate/examples/ws-hello.rkt
syndicate/examples/actor/lambda.rkt
syndicate/trace.rkt
typed/examples/two-buyer-protocol.rkt
syndicate/examples/udp-hello-plain.rkt
syndicate/examples/actor/example-action-after-suspension.rkt
typed/sequence.rkt
syndicate/examples/big-bang.rkt
typed/examples/bank-account.rkt
syndicate/examples/chat.rkt
typed/examples/core/book-club.rkt
syndicate/examples/example-wildcard-assertion-2.rkt
syndicate/examples/actor/parameters.rkt
syndicate/examples/actor/file-system-during.rkt
syndicate/canonicalize.rkt
syndicate/examples/actor/chat-tcp2.rkt
syndicate/tests/multi-level-other-way.rkt
syndicate/monolithic/scn.rkt
typed/either.rkt
syndicate/examples/chat-simplified-internals.rkt
syndicate-gl/examples/basic.rkt
typed/tests/pattern-annotations.rkt
syndicate/examples/actor/example-glitch.rkt
syndicate/examples/actor/example-supervise.rkt
typed/tests/hashes.rkt
syndicate/examples/actor/make.rkt
syndicate/reload.rkt
syndicate/examples/actor/example-synthetic-patch.rkt
syndicate/threaded.rkt
syndicate/examples/actor/simple-cross-layer.rkt
syndicate/drivers/tcp2.rkt
syndicate/patch.rkt
syndicate/examples/actor/example-filesystem.rkt
syndicate/examples/example-lang.rkt
syndicate/drivers/line-reader.rkt
syndicate/treap.rkt
syndicate-gl/affine.rkt
syndicate/examples/actor/tcp-relay.rkt
syndicate/examples/actor/file-system.rkt
syndicate/broker/protocol.rkt
syndicate/tests/multi-level-message.rkt
syndicate/protocol/advertise.rkt
syndicate/drivers/udp.rkt
syndicate-gui-toolbox/widgets.rkt
syndicate/examples/actor/udp-echo.rkt