Moise is an organisational platform for Multi-Agent Systems
☆18Oct 2, 2026Updated 2 weeks ago
Alternatives and similar repositories for moise
Users that are interested in moise are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 4 months ago
- ☆15Jul 6, 2026Updated 3 months ago
- ☆17Jun 22, 2024Updated 2 years ago
- [EMNLP'23] Code for Generating Data for Symbolic Language with Large Language Models☆18Oct 21, 2023Updated 2 years ago
- a Lean4 framework for the modeling and refinement of stateful systems☆38Oct 2, 2026Updated 2 weeks 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.
- the infinite ramble in rust, powered by tensorflow. (mfcc cosine similarity matching)☆13Apr 30, 2018Updated 8 years ago
- roundtrip-free Rust to JavaScript "remote method invocation" or "distributed objects" system☆14Jun 4, 2025Updated last year
- For hosting ATS3 and developing CodeDepot☆19Oct 2, 2026Updated 2 weeks ago
- Simple examples to demonstrate full-stack Rust audio plugin dev with baseplug and iced_audio☆15Dec 5, 2021Updated 4 years ago
- Tool for compiling Lean to WASM☆29Mar 17, 2024Updated 2 years ago
- Tools for working with types where a subset of values has a total order, like e.g. floats without NaN☆13Nov 7, 2025Updated 11 months ago
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 6 years ago
- Un-accents and un-umlauts characters in a string. Also preliminary converts the string to lower case. We use it for autocomplete: both fo…☆14Jan 17, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 8 years ago
- JSON-RPC 2.0 Implementation in Rust☆13Jul 13, 2017Updated 9 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- ☆11Apr 26, 2021Updated 5 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 8 months ago
- A stateless password management solution☆10Sep 11, 2018Updated 8 years ago
- mirror of http://hg.dyncall.org/pub/dyncall/dyncall☆17Mar 5, 2015Updated 11 years ago
- Semantic error handling for rocket applications☆15Feb 26, 2019Updated 7 years ago
- Implements URL handling methods as postgres extension☆12Mar 4, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The official documentation site for Vidi.☆14Feb 1, 2024Updated 2 years ago
- A MPMC channel based on the two lock queue algorithm☆15Oct 4, 2017Updated 9 years ago
- Reverse engineered driver and code for the Corsair K95 Gaming Keyboard. Reading Gaming keys, media and controlling LED lights. Note that …☆16Jul 5, 2016Updated 10 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆12Updated this week
- Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.☆36Mar 25, 2026Updated 6 months ago
- The CircleCI Rust Docker Convenience Image.☆15Oct 2, 2026Updated 2 weeks ago
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- A Bevy friendly wrapper of Box2D and LiquidFun.☆10Aug 14, 2024Updated 2 years ago
- Rust library for using the backblaze b2 api.☆17Aug 26, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Package files in your executables with the Rust language☆14Oct 2, 2015Updated 11 years ago
- Diesel support for citext extension☆11Aug 17, 2020Updated 6 years ago
- Task manager☆13Mar 11, 2018Updated 8 years ago
- A Lean4 Formalization of Polynomial Functors☆29Jul 10, 2026Updated 3 months ago
- The SNePS 2 Knowledge Representation and Reasoning System☆13Jun 6, 2018Updated 8 years ago
- ☆20Mar 20, 2017Updated 9 years ago
- WIP rust bindings for Awesomium browser☆11Jun 24, 2016Updated 10 years ago