47,133 repositories indexed
1–24 of 26 · 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
A Reactive Programming library for JavaScript
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
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
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
Secure firmware framework focusing on developer experience
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Write LÖVE 2D projects with TypeScript
A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.
Generate Yew components from React components via Typescript type definitions
The #1 SCTE-35 parser for five years. threefive decodes and encodes all SCTE-35 formats ***.