47,133 repositories indexed
1–24 of 28 · 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
Phantom types for Python.
The @vlang language server, for all your editing needs like go-to-definition, code completion, type hints, and more.
Secure firmware framework focusing on developer experience
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Mock an SSH server and define all commands it supports (Python, Twisted)
A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]