A tiny modular blogging engine, aimed to be absolutely minimal. Zero cookies or scripting (except for the ActivityPub module). Fully-responsive and accesible.
Specialized tax compliance verification guards for Cross-Border Tax, Transfer Pricing, and GST/VAT.
Financial statement verification, formula checks (NPV/IRR), and ISO 20022 compliance.
Legal reasoning verification using IRAC framework and citation checking for AI lawyers.
Unified Compliance Platform integration for regulatory reporting and real-time auditing.
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...
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.
Financial statement verification, formula checks (NPV/IRR), and ISO 20022 compliance.
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.
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...
RISC OS, originally developed alongside the first Arm chips in Cambridge, remains a uniquely simple and efficient desktop operating system. However, the platform now faces an existential challenge:...
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...
Ariel Sebastián Becker
Nirvati