47,133 repositories indexed
1–24 of 29 · Most stars
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Database Markup Language (DBML), designed to define and document database structures
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
🛡️ 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.
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functionality around sequential Streams. The JDK 8's main efforts (default methods, lambdas, and the Stream API) were focused around maintaining backwards compatibility and implementing a functional API for parallelism.
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
Sail architecture definition language
🚀 fast JavaScript 4 Eclipse Vert.x
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
parser for Google ProtocolBuffers definition
A macro to define clojure functions with parameter pattern matching just like erlang or elixir.
A small JavaScript library for defining and using union types.
Macros for defining monads, and definition of the most common monads
The Ott tool for writing definitions of programming languages and calculi
XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator
A graphql query language and schema definition language parser and formatter for rust
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
A function definition package for Rocq
Haxe/Lua externs for Defold game engine
Tiny library (<200B gzip) for deferring something by a "tick"
Based Python static type checker with baseline, sane default settings and based typing features
The Ink language parser and runtime implementation in Lua
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Write LÖVE 2D projects with TypeScript