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.
Database Markup Language (DBML), designed to define and document database structures
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
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
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