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

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