☆39Feb 10, 2026Updated 3 weeks ago
Alternatives and similar repositories for ToM-server
Users that are interested in ToM-server are comparing it to the libraries listed below
Sorting:
- A multi-platform (Flutter) application for connecting to Matrix - an open network for secure, decentralized communication, with your favo…☆137Updated this week
- ☆79Updated this week
- ☆146Jun 11, 2024Updated last year
- This repository contains content related to 2D and 3D lane detection, as well as video lane detection. There are not only papers here, bu…☆13Sep 1, 2024Updated last year
- BlipMQ simplifies real-time communication between microservices and distributed systems with a lightweight, blazing-fast broker that just…☆21Feb 3, 2026Updated last month
- ☆10Apr 28, 2023Updated 2 years ago
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textboo…☆15Oct 2, 2025Updated 5 months ago
- Powerful, developer-experience centric, blazingly fast and extensible job scheduler and workflow orchestration platform☆25Updated this week
- Curated music discovery - Find and download new music through your library and listening history☆36Updated this week
- A simple tag editor for inputing tags in Flutter.☆17Nov 4, 2025Updated 4 months ago
- Peer-to-peer NATS message routing and S3 object sync solution☆18Feb 5, 2026Updated 3 weeks ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- A distributed graph database system (GDBMS)☆11Feb 20, 2023Updated 3 years ago
- Moved to https://codeberg.org/KaOS/live-uefi☆12Nov 15, 2024Updated last year
- The Val Programming Language☆11Sep 28, 2021Updated 4 years ago
- A crate for working with the Task Execution Service (TES) specification.☆13Jan 8, 2026Updated last month
- ☆39Updated this week
- An actor implementation in Rust☆10Oct 12, 2025Updated 4 months ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆14Aug 19, 2024Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Python library for generating EnergyPlus inputs☆11Feb 23, 2026Updated last week
- dictd server bindings in go☆10Oct 1, 2016Updated 9 years ago
- Pedestrian Dead Reckoning with android camera☆11Jan 16, 2017Updated 9 years ago
- A BPMN engine. A WASM variant of lib-bpmn-engine. Playground and Showcase interactive BPMN modelling and execution.☆15Aug 30, 2023Updated 2 years ago
- VelesDB is a local‑first AI data engine written in Rust that unifies vectors, full‑text and graph in a single file with a familiar SQL‑li…☆26Updated this week
- Old implementation of the MaxTract system for re-engineering mathematical PDF documents.☆12Jan 25, 2016Updated 10 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last week
- An index for ArozOS WebApps and Subservices☆12Feb 11, 2022Updated 4 years ago
- A colorful Design circle icon theme for linux desktops☆13Oct 2, 2021Updated 4 years ago
- Small collection of PAGE XML related scripts used at the ZPD Würzburg☆12Aug 2, 2024Updated last year
- A cross-platform book management system.☆15Feb 24, 2026Updated last week
- Open Source CNC Milling Machine☆16Jan 25, 2022Updated 4 years ago
- chat bot framework in V☆14Feb 11, 2026Updated 2 weeks ago
- livewin(来玩)直播服务☆12Jul 16, 2025Updated 7 months ago
- C memory allocator with selectable First/Next/Best-Fit, per-allocation tracing, optional mark-and-sweep GC, and a configurable logging AP…☆16Jan 12, 2026Updated last month
- 🌳 A compressed rank/select dictionary exploiting approximate linearity and repetitiveness.☆15Jun 28, 2022Updated 3 years ago
- ☆15Mar 26, 2019Updated 6 years ago
- ☆11Nov 16, 2015Updated 10 years ago
- A safe & fast low-level language.☆13Updated this week