47,133 repositories indexed
1–8 of 8 · 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.
🚀 fast JavaScript 4 Eclipse Vert.x
The Ott tool for writing definitions of programming languages and calculi
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 library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Write LÖVE 2D projects with TypeScript
Generate Yew components from React components via Typescript type definitions