A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Repository Index
47,133 repositories indexed
1–24 of 28 · Most stars
Astrid is a portable, capability-secure operating system for composable software.
🛡️ 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
bcrypt-ruby is a Ruby binding for the OpenBSD bcrypt() password hashing algorithm, allowing you to easily store a secure hash of your users' passwords.
Next-gen phpDoc parser with support for intersection types and generics
- phpstan
- static-analysis
- php
- php7
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
eBPF library for Go. Powered by libbpf.
A parser combinator library for F#
Build parsers in Java
Managed .NET wrapper for unmanaged PKCS#11 libraries
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
A parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
a network packet capture compiler
Secure firmware framework focusing on developer experience
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
Javascript Generalized Parser Combinators
- functional-programming
- parsec
- parser-combinator
- monad
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
FANN (Fast Artifical Neural Network) binding in Crystal
- fann
- neural-network
- machine-learning
- crystal
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
ABNF in, parser out
- abnf
- parsing
- parser-generator
- elixir
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
- f-sharp
- parser
- combinator
- library
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket