47,133 repositories indexed
1–17 of 17 · 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.
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
DFA regular expression library & friends
Sail architecture definition language
🚀 fast JavaScript 4 Eclipse Vert.x
parser for Google ProtocolBuffers definition
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
A Lean formalization of the Classification of Finite Simple Groups
PHP Iteration Tools Library
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.
Finite sets, finite maps, multisets and generic sets