Discover the most starred and trending open source tools tagged with #hal.
Independent Auditing of AI Agents. Run by human or the agent itself, to answer the most crucial question in the AI Agent Economy. Is the agent doing what is supposed to do? With iFixAi you can have this answer in less than 120 seconds.
Strix Halo inference engine. Qwen Flash Next Q4_K_XL: 1,628.52pp, 59.41tg single user, 157.22 tok/s 8 users; Qwen27B Q4_K_XL: 656.33pp, 70.56tg tok/s single user with DFlash2
ODS V3 Pre-Release: Public testing and refinement ahead of the official V3 launch. Turn your PC, Mac, or Linux box into a private AI server.
Thor - Android App Manager and App Installer utility
All Algorithms implemented in Java
Grafeo is a pure-Rust, high-performance graph database that can be embedded as a library or run as a standalone database, with optional in-memory or persistent storage. Grafeo supports both LPG and RDF and all major query languages.
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and context survive resets. Reverse engineering is the proving ground. MCP server + CLI.
developers.events is a community-driven platform listing developer/tech conferences and Calls for Papers (CFPs) worldwide with a list, a calendar and a map view. It helps organizers, speakers, sponsors & attendees.
High performance, full-stack PHP framework delivered as a C extension.
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
The server component of API Platform: hypermedia and GraphQL APIs in minutes
modm: a C++23 library generator for AVR and ARM Cortex-M devices
MikoPBX — free open-source PBX for small business, built on Asterisk 22, PHP 8.4, and Phalcon 5. Deploy as ISO, Docker, LXC, or in the cloud.
Large collection of number systems providing custom arithmetic for mixed-precision algorithm development and optimization for AI, Machine Learning, Computer Vision, Signal Processing, CAE, EDA, control, optimization, estimation, and approximation.
Integrate Stellantis vehicles on Home Assistant
Turn Off the Lights Browser extension for Google Chrome, Firefox, Opera, Safari, Naver Whale, Yandex, Samsung Internet, and Microsoft Edge.
Phalcon Framework as a PHP implementation
MNE: Magnetoencephalography (MEG) and Electroencephalography (EEG) in Python
Slicing and coding game
Doodle Cricket and Other Google Doodle Games