Distributed constraint satisfaction with recursive message-passing agents
☆16Dec 11, 2017Updated 8 years ago
Alternatives and similar repositories for Automated-Logical-Systems
Users that are interested in Automated-Logical-Systems are comparing it to the libraries listed below
Sorting:
- ☆22May 24, 2014Updated 11 years ago
- Knowledge Acquisition Logic Machine☆18Jul 19, 2019Updated 6 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Nov 24, 2025Updated 3 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- A set of utilities for preparing gridded climate data ETLs☆17Updated this week
- ☆10Mar 28, 2022Updated 3 years ago
- Game Server Manager by Sector Alpha.☆12Sep 15, 2024Updated last year
- An ambient noise detector☆10Aug 23, 2020Updated 5 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Native-performance Linux sandboxes for Termux. Auto-configures Chroot to bypass Proot overhead. Docker-like export/import included. 基于 Te…☆28Feb 10, 2026Updated 3 weeks ago
- Spring Microservices: Secure Service-to-Service Communication☆11Apr 21, 2021Updated 4 years ago
- Heroic is a single / multiplayer RPG in 2D pixel art, written on the Godot engine.☆12Jul 12, 2020Updated 5 years ago
- A ceiling mounted camera which looks around between defined points. Can detect and track a player character.☆14Mar 17, 2023Updated 2 years ago
- Godot community health files☆12Apr 30, 2024Updated last year
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Thirdperson controller made in the .NET version of Godot 4.0 with C#☆14Mar 21, 2024Updated last year
- TWRP device tree for Samsung Galaxy Tab A7 10.4 (a.k.a. "gta4lwifi", a.k.a. SM-T500)☆15Oct 27, 2022Updated 3 years ago
- This is a Leaflet map of the local Fairphoners communities☆10Feb 23, 2026Updated last week
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Install a sso enviroment for Linux, Mac and Windows with a simple script☆11Dec 12, 2011Updated 14 years ago
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- Godot 4 prototyping First Person Controller based on the state pattern.☆12Jan 22, 2024Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Exemplo de alguns design patterns implementados com a linguagem Lua.☆12Dec 30, 2010Updated 15 years ago
- [CIKM 2022] Towards Automated Over-Sampling for Imbalanced Classification☆10Mar 20, 2023Updated 2 years ago
- Uses Node.js and Leap Motion to control an AR Drone and stream video to the browser.☆62Nov 20, 2013Updated 12 years ago
- Style files for working with categorial grammars in LaTeX.☆13Oct 9, 2014Updated 11 years ago
- Illustrations of codeql's AST☆12Sep 10, 2021Updated 4 years ago
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 6 years ago
- Homebrew formulae for various tools☆17Jan 27, 2026Updated last month
- A simple mycroft skill for launching shell scripts and system commands☆12Jun 1, 2024Updated last year
- Hypergraph Case-Based Reasoning☆12Jun 14, 2018Updated 7 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago