Minimal, Akka-styled actor system for TypeScript
☆24Jan 22, 2026Updated 7 months ago
Alternatives and similar repositories for ts-actors
Users that are interested in ts-actors are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TypeDB (Core and Cloud) RPC Communication Protocol☆18Aug 7, 2026Updated last month
- ☆13Updated this week
- A PickerIOS that will show at the bottom of the window☆32Jun 30, 2016Updated 10 years ago
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- Parse an open api (previously swagger) spec.☆15Apr 16, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆43Nov 27, 2025Updated 9 months ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 7 months ago
- time management app for django☆12Jul 12, 2011Updated 15 years ago
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- Functional configuration management with Typescript☆21Apr 7, 2025Updated last year
- A javascript implementation of the rendezvous protocol for libp2p☆13May 1, 2025Updated last year
- A shell scripting language☆30Mar 11, 2024Updated 2 years ago
- An abstract-level database for browsers, backed by IndexedDB.☆60Aug 1, 2026Updated last month
- Implementation of join calculus in Objective-C for iOS☆11Oct 18, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Automatically push and pop navigator routes/scenes/screens if the navigator props was changed.☆15Aug 16, 2016Updated 10 years ago
- ☆14Feb 11, 2021Updated 5 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- My Agda/Mikan stuff☆13Aug 29, 2026Updated last week
- Sandboxed tools and JS runtime for AI agents☆18Jul 13, 2026Updated last month
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- a native sso authentication for react native☆13Feb 9, 2016Updated 10 years ago
- Graphing Scrubbing Calculator☆12Nov 27, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆24Jul 26, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 years ago
- Calculate mean of pairwise weighted distances between points using great circle metric.☆11Jul 6, 2023Updated 3 years ago
- Leverage other peers in the network to perform Content Routing calls.☆14Mar 28, 2025Updated last year
- WebTranport module that libp2p uses and that implements the interface-transport spec☆15Aug 9, 2023Updated 3 years ago
- ☆18Jan 16, 2024Updated 2 years ago
- ☆24Sep 28, 2020Updated 5 years ago
- Technical Specification of IPNI Protocols☆12Aug 26, 2026Updated last week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Collection of example how to do things in mithril☆21Feb 1, 2024Updated 2 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- A TUI to view traces, spans, metrics, and inspect your Effect applications☆16Feb 28, 2026Updated 6 months ago
- ☆16Nov 20, 2016Updated 9 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated 10 months ago
- Sustainability signals for OSS dependencies across ecosystems☆17Updated this week