Ica GitHub Repositories (2026) · Open Source Tools

TLA+ language support for Visual Studio Code

Provides standardized monochrome icon resources for apps and vendor systems that do not conform to the Android standard notification design.

Open source agentic SAST. The engine behind hundreds of disclosed zero-days. 100+ AI security agents, any repo or PR diff, bring your own model.

Authentication and Authorization for CodeIgniter 4

🎤 vibrato: Viterbi-based accelerated tokenizer

Zero-shot text classification over plain HTTP — no API key, no account. One Cloudflare Worker, a CLI, and an MCP server. https://classifier.dev

Analyze Rust crates without touching compiler internals

Rack for JRuby and Java appservers

Sound input/output selector indicator for Linux

Multiplatform app for Android and Desktop for removing tracking parameters from shared URLs

ApprovalTest verification library for Java

A Tool for Automatic Analysis of Malware Behavior

Convenient access to tick-level real-time and historical cryptocurrency market data via Node.js

Distributed C++ services from embedded to enterprise

Omni Browser is a secure, open-source Android browser by RebelRoot. Built on Mozilla GeckoView, it features native WebExtension support, aggressive media stream interception, a private encrypted locker, and on-device machine learning tools.

Updated AirConnect packages for Synology NAS and Synology Router

A lightweight SwiftUI chat UI framework with 11 built-in message types, 8 themes, and cross-platform iOS/macOS support

Frontier is an all-in-one user management platform that provides identity, access and billing management to help organizations secure their systems and data. (Open source alternative to Clerk, WorkOS)

Formally Verified Arguments of Knowledge in Lean

Apache Syncope