Astrid is a portable, capability-secure operating system for composable software.
Repository Index
47,133 repositories indexed
1–24 of 40 · Most stars
Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)
- golang
- go
- cel
- expression
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
- findbugs
- java
- security-audit
- owasp
🛡️ BLA (Blind LLM Agents) — Adversarial defense shield that protects binaries, Electron apps, JS bundles, Python, and WebAssembly against AI reverse-engineering agents like REA. Poison -> Exhaust -> Hallucinate.
- adversarial-ai
- claude-code
- cursor
- electron-security
A production-ready C++ vector graphics engine supporting SVG and Lottie formats, featuring advanced rendering backends such as WebGPU for high-performance graphics.
- animation
- 2d-graphics
- embedded
- graphics-library
A TypeScript-first, runtime-agnostic command-line toolkit for Deno, Node.js and Bun: featuring a command framework, argument parser, interactive prompts, tables, ANSI utilities, and more.
- deno
- cli
- typescript
- command-line
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Digital Forensics Investigation Platform
- dfir
- security
- incident-response
- artifacts
awesome llvm security [Welcome to PR]
- llvm
- ollvm
- clang
- obfuscate
Exemplary real world app built with Rust + Yew + WebAssembly, by Function Components + Hooks, also supports desktop by Tauri.
- rust
- yew
- webassembly
- wasm
Open-source cross-platform symbolic algebra library for C# and F#. Can be used for both production and research purposes.
- csharp
- algebra
- integration
- latex
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
- xsd
- xsd-schema
- xml
- xml-parser
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
Secure firmware framework focusing on developer experience
Rust + Yew + Axum + Tauri + Tailwindcss, full-stack Rust development for Desktop apps.
CLI utility and Python module for analyzing log files and other data.
- log-analysis
- log-parser
- cli
- security
Your users download a 4GB AI model, the connection drops at 3.8GB, verifyfetch resumes from 3.8GB and verifies every byte. Drop-in integrity verification for Transformers.js, WebLLM, and any large file in the browser.
- ai-models
- browser
- fetch
- integrity
A collection of LPEG patterns
- lua
- lpeg
- uri
- uri-parser
Mock an SSH server and define all commands it supports (Python, Twisted)
Bindings to the Tauri API for projects using wasm-bindgen
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.