Moise is an organisational platform for Multi-Agent Systems
☆17Nov 5, 2025Updated 4 months ago
Alternatives and similar repositories for moise
Users that are interested in moise are comparing it to the libraries listed below
Sorting:
- A Java-based Framework for Programming Environments in Agent-oriented Applications☆19Jul 15, 2024Updated last year
- Use Rust in React Native through WebAssembly☆11Jan 7, 2023Updated 3 years ago
- Webpipes is a work-in-progress proposal for linking together web services. Essentially, you can think of webpipes as tiny web services mo…☆21Sep 4, 2013Updated 12 years ago
- lean code☆10Jan 3, 2025Updated last year
- Middleware that provides libraries, GUI, and code generator to design multi-node (clustered) applications that are highly available, redu…☆26Updated this week
- PDF Screenshot OCR Analysis with Google Gemini Pro☆13Jan 27, 2026Updated last month
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- SARL Agent-Oriented Programming Language http://www.sarl.io☆152Oct 22, 2025Updated 4 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Feb 26, 2026Updated last week
- Tools for working with types where a subset of values has a total order, like e.g. floats without NaN☆13Nov 7, 2025Updated 3 months ago
- ☆11Updated this week
- A low-resource native app for sharing space with co-workers and friends.☆15Feb 20, 2025Updated last year
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated 3 weeks ago
- jGlobus is a collection of Java client libraries for Globus® Toolkit security, GRAM, and GridFTP.☆25Dec 7, 2023Updated 2 years ago
- ☆12Dec 19, 2024Updated last year
- A Gazebo plugin to simulate underwater vehicles☆11Jan 22, 2020Updated 6 years ago
- The LandSAR search and rescue platform☆11Dec 19, 2025Updated 2 months ago
- Basic Unicode support for Lean 4☆15Updated this week
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- ☆16Jun 22, 2024Updated last year
- The official repository for MaCh3☆12Updated this week
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Diesel support for citext extension☆11Aug 17, 2020Updated 5 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- A wrapper type for optionally giving up ownership of the underlying value.☆11Mar 6, 2018Updated 7 years ago
- Simple examples to demonstrate full-stack Rust audio plugin dev with baseplug and iced_audio☆14Dec 5, 2021Updated 4 years ago
- ☆14Jun 23, 2021Updated 4 years ago
- create iterators from generators☆11Oct 27, 2023Updated 2 years ago
- Hello world web application with Maven + Java + Servlets + Tomcat☆10Nov 21, 2018Updated 7 years ago
- Geb Functional Testing for Grails® framework☆12Apr 22, 2025Updated 10 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- Communicate with OpenAi's GPT3.5 and GPT4 (ChatGPT) API.☆11Apr 7, 2023Updated 2 years ago
- Tech books☆14Dec 13, 2012Updated 13 years ago
- Github Pages for DocBook CDN☆18Jan 2, 2026Updated 2 months ago
- This library is a workaround until futures-rs and error-chain crates works out-of-box with each other☆13May 18, 2017Updated 8 years ago
- Enforce Rust documentation correctness☆14Dec 1, 2022Updated 3 years ago
- The CircleCI Rust Docker Convenience Image.☆15Feb 13, 2026Updated 2 weeks ago
- Improved Search for Integral, Impossible Differential and Zero-Correlation Attacks: Application to Ascon, ForkSKINNY, SKINNY, MANTIS, PRE…☆14Jul 30, 2025Updated 7 months ago
- A test project to illustrate how to use the BNO055 sensor with the FRC control system.☆12Jan 8, 2022Updated 4 years ago