syndicate-classic

A language for interactive programs. Previous version of #lang syndicate, prior to incorporation of capabilities.

Build status: ok failing tests missing license metadata

README Download
Authors
Documentation
Tags
License
    Last updatedThursday, March 6th, 2025 8:20:37pm (UTC)
    Ring2
    Conflicts
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/tonyg/syndicate.git?path=racket785dd79644dfc6f7941078dbb8c7f2aa76e07831
    Last checkedTuesday, July 1st, 2025 4:57:56pm (UTC)
    Last editedWednesday, May 12th, 2021 8:46:20am (UTC)
    Date addedWednesday, May 12th, 2021 8:39:08am (UTC)
    Modules
    • typed/examples/anonymous-facet.rkt
    • typed/tests/endpoint-effects-branch.rkt
    • typed/tests/spin/basic-assertion.rkt
    • syndicate/tests/create-new-facet-in-on-stop.rkt
    • typed/examples/struct-out/typed-out.rkt
    • typed/tests/spin/during-spawn-stop-when.rkt
    • typed/examples/simple-query-hash.rkt
    • syndicate/hierarchy.rkt
    • typed/tests/spin/basic-deadlock-freedom.rkt
    • syndicate/examples/actor/cleanup.rkt
    • syndicate/examples/chat-simplified-internals.rkt
    • syndicate/lang.rkt
    • typed/examples/cell.rkt
    • syndicate/examples/actor/tcp-relay.rkt
    • syndicate/trie.rkt
    • typed/tests/spin/super-to-subtype-regression.rkt
    • syndicate/examples/actor/show-field-scope-enforcement1.rkt
    • syndicate/examples/actor/flink.rkt
    • syndicate/test-lang.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-2.rkt
    • typed/tests/comm-ty-composition.rkt
    • syndicate/examples/actor/f-to-c2.rkt
    • syndicate/examples/actor/web-sanity-check.rkt
    • typed/examples/with-facets.rkt
    • typed/tests/require-struct-some-default-tys.rkt
    • syndicate/examples/actor/file-system-during2.rkt
    • syndicate/tests/simple1.rkt
    • syndicate/examples/actor/chat.rkt
    • syndicate/drivers/smtp.rkt
    • syndicate/examples/ws-echo-client.rkt
    • syndicate/examples/actor/example-assertion-spike.rkt
    • syndicate/drivers/timestate.rkt
    • syndicate/pattern.rkt
    • syndicate/examples/actor/bank-account.rkt
    • syndicate/examples/actor/chat-multiroom-topic-persist.rkt
    • typed/tests/stop-when.rkt
    • syndicate/examples/actor/f-to-c3.rkt
    • syndicate/examples/actor/file-system-during.rkt
    • syndicate/examples/example-lang.rkt
    • syndicate/examples/actor/irc-client.rkt
    • syndicate/tests/maintain-knowledge-across-events.rkt
    • typed/tests/regression-define-with-effects.rkt
    • syndicate-gui-toolbox/widgets.rkt
    • syndicate/examples/actor/flip-flop.rkt
    • syndicate/examples/actor/spreadsheet.rkt
    • typed/tests/this-facet.rkt
    • typed/tests/list.rkt
    • syndicate/reload.rkt
    • syndicate/examples/actor/fs-protocol.rkt
    • typed/tests/regression-count-new-words.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-4.rkt
    • typed/examples/require-struct/client2.rkt
    • typed/tests/spin/verify-actors-none-error-message.rkt
    • syndicate/actor-lang.rkt
    • typed/tests/spin/basic-assertion-communication.rkt
    • syndicate/examples/actor/example-bug-query-scope.rkt
    • syndicate/examples/actor/chat-no-quit-world.rkt
    • syndicate/test/test-dataspace.rkt
    • syndicate/examples/actor/chat-simplified-internals2.rkt
    • syndicate/examples/actor/realize.rkt
    • typed/examples/provides.rkt
    • typed/examples/simple-stop-facet.rkt
    • typed/syndicate/core/lang/reader.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-6.rkt
    • syndicate/support/hash.rkt
    • typed/examples/require-struct/driver.rkt
    • syndicate/core-lang.rkt
    • typed/tests/spin/spec-message-supertype-regression.rkt
    • syndicate/examples/example-quit-dataspace-with-assertion.rkt
    • syndicate/profile.rkt
    • typed/examples/bank-account.rkt
    • syndicate/random-test.rkt
    • typed/tests/require-struct.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/cells-canvas.rkt
    • syndicate/examples/actor/file-system2.rkt
    • syndicate/examples/actor/example-glitch.rkt
    • syndicate/examples/actor/box-and-client.rkt
    • syndicate/trace/stderr.rkt
    • syndicate/trace/msd.rkt
    • syndicate/test.rkt
    • syndicate/examples/actor/chat-client.rkt
    • syndicate/examples/actor/example-demand-matcher-glitch-bug2.rkt
    • syndicate/tests/bank-account.rkt
    • typed/tests/struct-provider.rkt
    • syndicate/examples/box-and-client.rkt
    • typed/syndicate/roles/lang/reader.rkt
    • typed/tests/spin/duplicate-facet-names-behavior-lost-regression.rkt
    • syndicate/examples/actor/two-buyer-protocol.rkt
    • typed/tests/bind-big-pattern.rkt
    • syndicate/protocol/advertise.rkt
    • syndicate/examples/mini-echo.rkt
    • syndicate/tests/nested-spawn-exceptions.rkt
    • syndicate/little-actors/core.rkt
    • syndicate/examples/two-buyer-protocol-incremental.rkt
    • syndicate/util.rkt
    • syndicate/tset.rkt
    • syndicate/trace/render-msd.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-1.rkt
    • typed/examples/simple-dataspace.rkt
    • typed/examples/struct-out/untyped.rkt
    • syndicate/drivers/line-reader.rkt
    • typed/tests/spin/io-subtype-regression.rkt
    • syndicate/canonicalize.rkt
    • syndicate/dataspace.rkt
    • syndicate/drivers/timer.rkt
    • typed/examples/struct-out/client.rkt
    • typed/syndicate/lang/reader.rkt
    • typed/examples/two-buyer-protocol.rkt
    • typed/examples/require-struct/omit-accs/require-omit-accs.rkt
    • typed/examples/simple-during.rkt
    • syndicate/examples/actor/chain.rkt
    • syndicate/supervise.rkt
    • syndicate/upside-down.rkt
    • typed/tests/constructor-naming-conventions.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-7.rkt
    • typed/examples/flink-support.rkt
    • syndicate/trace/util.rkt
    • syndicate/big-bang/timestate.rkt
    • syndicate/examples/actor/example-responsibility-transfer-2.rkt
    • syndicate-gl/examples/clock-face.rkt
    • syndicate/examples/actor/double-click.rkt
    • syndicate/broker/server.rkt
    • typed/syndicate/compile-spin.rkt
    • typed/syndicate/drivers/tcp.rkt
    • syndicate/examples/actor/f-to-c5.rkt
    • syndicate/comprehensions.rkt
    • typed/examples/file-system.rkt
    • typed/examples/core/book-club.rkt
    • typed/syndicate/sequence.rkt
    • typed/tests/spin/message-subtyping-regression.rkt
    • syndicate/monitor.rkt
    • typed/examples/struct-out/struct-out.rkt
    • typed/tests/spin/var-assert-basic.rkt
    • syndicate/examples/actor/show-field-scope-enforcement4.rkt
    • syndicate/protocol/instance.rkt
    • syndicate/syntax-classes.rkt
    • syndicate/examples/actor/example-demand-matcher-glitch-bug.rkt
    • syndicate/drivers/filesystem.rkt
    • syndicate/examples/actor/rpc-with-error.rkt
    • syndicate/examples/actor/sandbox-os.rkt
    • typed/examples/simple-query-value.rkt
    • typed/syndicate/roles.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-5.rkt
    • syndicate/examples/ws-hello.rkt
    • syndicate/examples/actor/queue-no-credit.rkt
    • syndicate/examples/big-bang.rkt
    • syndicate/examples/actor/udp-echo.rkt
    • syndicate/examples/actor/irc.rkt
    • syndicate-ide/hsv.rkt
    • typed/tests/for-loops.rkt
    • syndicate/examples/example-meta-drop.rkt
    • syndicate/examples/actor/query-set.rkt
    • syndicate/examples/actor/example-filesystem.rkt
    • syndicate/examples/actor/echo.rkt
    • typed/tests/spin/use-type-of-expression.rkt
    • syndicate/examples/bank-account-monolithic.rkt
    • syndicate/examples/actor/add1-simple.rkt
    • syndicate/examples/example-wildcard-assertion-1.rkt
    • syndicate/examples/example-quit-world.rkt
    • typed/syndicate/set.rkt
    • syndicate/examples/actor/example-partial-retraction.rkt
    • typed/syndicate/either.rkt
    • syndicate/drivers/tcp.rkt
    • typed/examples/chat-tcp2.rkt
    • typed/tests/spin/uninterested-retraction.rkt
    • syndicate/drivers/irc.rkt
    • syndicate/examples/actor/ceu-leds.rkt
    • syndicate/examples/actor/simple-cross-layer.rkt
    • syndicate/examples/chat-no-quit-world-no-nesting.rkt
    • syndicate/lang/reader.rkt
    • typed/examples/internal-knowledge.rkt
    • syndicate/examples/actor/let-event.rkt
    • typed/tests/untyped-lib.rkt
    • typed/syndicate/for-loops.rkt
    • typed/tests/phantom-rho.rkt
    • typed/core.rkt
    • typed/tests/for-loop-regression.rkt
    • syndicate/threaded.rkt
    • syndicate/examples/durable-key-value-store.rkt
    • syndicate/examples/key-value-store.rkt
    • typed/examples/realize.rkt
    • syndicate/scribblings/syndicate.scrbl
    • typed/syndicate/supervise.rkt
    • syndicate/big-bang.rkt
    • syndicate/examples/bank-account.rkt
    • syndicate/firewall.rkt
    • typed/syndicate/hash.rkt
    • syndicate/examples/actor/example-action-after-suspension.rkt
    • syndicate/tests/simple-multi-level.rkt
    • syndicate/drivers/websocket.rkt
    • syndicate/pretty.rkt
    • typed/tests/spin/cyclic-role-graph-regression.rkt
    • typed/syndicate/proto.rkt
    • syndicate/examples/actor/simple-dns.rkt
    • syndicate/examples/actor/file-system.rkt
    • typed/tests/floating-define.rkt
    • syndicate/examples/actor/chat-multiroom.rkt
    • typed/tests/spawn-cell-bug.rkt
    • typed/syndicate/2d.rkt
    • typed/syndicate/test-utils.rkt
    • syndicate/examples/actor/fib-server.rkt
    • typed/examples/require-struct/client.rkt
    • syndicate-gl/examples/many.rkt
    • syndicate/examples/udp-multicast.rkt
    • typed/tests/typed-gui-input-bug.rkt
    • syndicate/patch.rkt
    • typed/examples/book-club.rkt
    • syndicate/examples/actor/chat-tcp2.rkt
    • syndicate/support/bytes.rkt
    • typed/tests/lift-facet-names.rkt
    • typed/tests/hashes.rkt
    • typed/examples/core/bank-account.rkt
    • typed/tests/spin/basic-io.rkt
    • syndicate/examples/actor/gui.rkt
    • syndicate-gui-toolbox/examples/7-GUIS/task-3.rkt
    • syndicate/examples/actor/f-to-c4.rkt
    • syndicate/examples/actor/broadcast-messages.rkt
    • typed/tests/removing-annotations.rkt
    • typed/syndicate/first-facet-lang-attempt.rkt
    • syndicate/examples/chat-no-quit-world.rkt
    • syndicate/examples/forward-chaining.rkt
    • typed/syndicate/list.rkt
    • syndicate/monolithic/scn.rkt
    • syndicate/examples/actor/lambda.rkt
    • typed/tests/sets.rkt
    • syndicate/examples/actor/mini-echo.rkt
    • syndicate/drivers/udp.rkt
    • syndicate/interactive.rkt
    • typed/tests/spin/super-to-partial-subtype-regression.rkt
    • syndicate/examples/example-layer.rkt
    • syndicate/drivers/gui.rkt
    • syndicate/examples/actor/internal-knowledge.rkt
    • syndicate/examples/example-wildcard-assertion-2.rkt
    • syndicate/drivers/web.rkt
    • syndicate/examples/actor/forward-chaining-mini.rkt
    • typed/tests/overly-broad-interests.rkt
    • syndicate/examples/actor/example-termination-scripts-2.rkt
    • syndicate/examples/tcp-hello.rkt
    • syndicate/monolithic.rkt
    • syndicate/persist.rkt
    • typed/tests/spin/webchat-performance-regression.rkt
    • syndicate/examples/actor/chat-client-tcp2.rkt
    • syndicate/examples/actor/example-multiple-suspension-resumption.rkt
    • syndicate-gl/affine.rkt
    • syndicate/examples/two-buyer-protocol-monolithic.rkt
    • syndicate/examples/actor/example-memoized.rkt
    • syndicate/examples/udp-hello-plain.rkt
    • syndicate/actor.rkt
    • typed/examples/requires.rkt
    • syndicate/examples/actor/chat-multiroom-topic.rkt
    • typed/tests/implicit-root-facet.rkt
    • typed/syndicate/prim.rkt
    • syndicate/examples/actor/vacuous-facet.rkt
    • typed/tests/pattern-annotations.rkt
    • syndicate/examples/actor/chat-bot.rkt
    • syndicate/examples/actor/running-total.rkt
    • syndicate/main.rkt
    • syndicate/examples/actor/fs-shell.rkt
    • syndicate/examples/actor/queue-no-credit2.rkt
    • syndicate/examples/actor/tcp-relay2.rkt
    • syndicate/drivers/repl.rkt
    • syndicate/core.rkt
    • syndicate/examples/actor/example-responsibility-transfer-1.rkt
    • typed/syndicate/syntax-serializer.rkt
    • typed/syndicate/ltl.rkt
    • syndicate/examples/echo.rkt
    • syndicate/monolithic/core.rkt
    • syndicate/ground.rkt
    • syndicate/examples/actor/make.rkt
    • syndicate/examples/actor/firewall-demo.rkt
    • syndicate/examples/actor/chat-simplified-internals.rkt
    • typed/examples/simple-query-set.rkt
    • syndicate/examples/example-plain.rkt
    • syndicate/tests/use-current-knowledge-with-new-facet.rkt
    • syndicate/examples/actor/example-termination-scripts-1.rkt
    • syndicate/examples/actor/mutable-cell.rkt
    • syndicate/scribblings/interactive.scrbl
    • syndicate/functional-queue.rkt
    • typed/tests/spin/duplicate-facet-names-regression.rkt
    • syndicate-gl/texture.rkt
    • syndicate/examples/actor/file-system-lll.rkt
    • typed/tests/spawn-with-name.rkt
    • syndicate/tests/multi-level-message.rkt
    • typed/tests/spawn.rkt
    • typed/tests/sequences.rkt
    • syndicate/examples/actor/example-synthetic-patch-2.rkt
    • syndicate/interactive-lang.rkt
    • syndicate/examples/actor/big-bang.rkt
    • syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths2.rkt
    • typed/tests/define-dataflow.rkt
    • typed/tests/assert-star.rkt
    • syndicate/examples/example-meta-echo.rkt
    • syndicate/demand-matcher.rkt
    • syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths3.rkt
    • syndicate/drivers/config.rkt
    • typed/examples/require-struct/omit-accs/lib.rkt
    • syndicate/examples/actor/example-during-criterion-snapshotting.rkt
    • syndicate-ide/main.rkt
    • syndicate/examples/ws-hello-ssl.rkt
    • syndicate/trace.rkt
    • typed/tests/discard-pattern-tys.rkt
    • typed/tests/basic-bad-assertion.rkt
    • syndicate/drivers/tcp2.rkt
    • syndicate/hash-order.rkt
    • syndicate/broker/protocol.rkt
    • typed/tests/inference.rkt
    • typed/tests/effect-polymorhpism.rkt
    • syndicate/examples/ws-echo.rkt
    • syndicate/examples/actor/chat-no-quit-world-no-nesting.rkt
    • syndicate/examples/actor/web-demo.rkt
    • syndicate/supervisor.rkt
    • syndicate/examples/actor/example-supervise.rkt
    • syndicate/tests/boop.rkt
    • syndicate/tests/facet-creation-during-stop-from-grandchild.rkt
    • syndicate/examples/example-swap-int-and-claim.rkt
    • typed/tests/expressions.rkt
    • syndicate/examples/actor/example-synthetic-patch.rkt
    • typed/syndicate/sugar.rkt
    • typed/tests/var-assert.rkt
    • syndicate/dataflow.rkt
    • typed/syndicate/maybe.rkt
    • syndicate/examples/example-meta-echo2.rkt
    • typed/tests/spin/A-and-M-not-necessary.rkt
    • typed/examples/struct-out/struct-in.rkt
    • syndicate/tests/ping-pong.rkt
    • typed/tests/primitives.rkt
    • syndicate/tests/multi-level-other-way.rkt
    • typed/examples/ping-pong.rkt
    • typed/scribblings/typed-syndicate.scrbl
    • typed/tests/constructor-some-default-tys.rkt
    • typed/tests/spin/smarthome-io-bug.rkt
    • syndicate/support/struct.rkt
    • syndicate/examples/actor/queue.rkt
    • syndicate/examples/chat-client.rkt
    • typed/examples/flink.rkt
    • syndicate/examples/actor/example-bug-rising-edge-true.rkt
    • syndicate/examples/actor/file-system-lll2.rkt
    • syndicate/relay.rkt
    • typed/syndicate/core-types.rkt
    • typed/tests/spin/no-behavior-regression.rkt
    • typed/examples/core/box-and-client.rkt
    • syndicate-gl/examples/basic.rkt
    • typed/tests/spin/deadlock-free-syntax-bug.rkt
    • typed/examples/simple-during-spawn.rkt
    • syndicate/examples/actor/timestate.rkt
    • typed/tests/require-typed.rkt
    • syndicate/treap.rkt
    • syndicate/examples/chat.rkt
    • syndicate/protocol/standard-relay.rkt
    • syndicate/examples/actor/mutex.rkt
    • syndicate/examples/actor/f-to-c.rkt
    • syndicate/tests/stop-when-react.rkt
    • syndicate/store.rkt
    • typed/examples/simple-dataflow.rkt
    • syndicate/mux.rkt
    • typed/syndicate/core-expressions.rkt
    • typed/syndicate/drivers/timestate.rkt
    • syndicate/examples/actor/parameters.rkt
    • typed/examples/observe-star.rkt
    • syndicate/examples/all-pairs-shortest-paths/all-pairs-shortest-paths.rkt
    • syndicate-gl/scribblings/syndicate-gl.scrbl
    • syndicate-gl/2d.rkt