The first open-source Neurosymbolic AI Verification Layer. QWED prevents hallucinations in high-stakes LLM applications (Math, Finance, Logic) by using deterministic engines (SymPy, Z3, AST) to ver...
Legal reasoning verification using IRAC framework and citation checking for AI lawyers.
Financial statement verification, formula checks (NPV/IRR), and ISO 20022 compliance.
Nirvati is a FOSS project for server management built on top of Kubernetes. It allows individuals and small organizations to become digitally independent and control their own data.
Use functional programming to write a concurrent application and execute it on a high-performance, asynchronous runtime targeting the platform of your choice.
Specialized tax compliance verification guards for Cross-Border Tax, Transfer Pricing, and GST/VAT.
Unified Compliance Platform integration for regulatory reporting and real-time auditing.
Financial statement verification, formula checks (NPV/IRR), and ISO 20022 compliance.
Legal reasoning verification using IRAC framework and citation checking for AI lawyers.
RISC OS 5 has a Unicode Font Manager. Currently, various other areas of the operating system either don't make use of it or aren't aware of some of the later Unicode standards that postdate the Fon...
A systems-oriented language laboratory implementing a dual-mode memory model (Value/Object), virtual pointer handles for safety without a GC, and a Data and Action Oriented Programming (DAOP) parad...
A PCAPdroid addon that uses mitmproxy to decrypt TLS/SSL connections, to display the decrypted data within the app
No-root network monitor, firewall and PCAP dumper for Android. Enables users to track, analyze, and block app connections while exporting network traffic captures in the PCAP format.
embodiOS is a bare-metal AI operating system where AI inference is a first-class primitive. The project focuses on reducing end-to-end inference latency by collapsing Time To First Token (TTFT) and...
Share and collaborate by syncing with any Git repository instantly. Linux, macOS, and Windows
Synthetic Cortex is an AI architecture that models human brain cortical functions as modular layers, integrating neurochemical processes (hormones and neurotransmitters) into reasoning mechanisms o...
CodeGraphContext is an open-source developer infrastructure tool that indexes source code into a continuously updated graph, enabling AI assistants and engineering teams to understand real-world co...
Ultra-fast offline pattern classification engine built in Rust. Encodes text into Sparse Distributed Representations (SDR) — 256K-bit sparse binary vectors — and performs similarity-based retri...
LibreOffice is a free, private and open source office suite, used by millions of people around the world. It is the default office suite in many desktop Linux distributions.
OpenCommit Foundation infrastructure and operations, including OpenCommit git hosting. This listing is backed by our public documentation repository.
Rahul Dass
Nirvati