A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support
Repository Index
57,138 visible repositories in the index
1–24 of 82 · Most stars
Lean 4 programming language and theorem prover
- lean4
- lean
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.
- proof-assistant
- coq
- theorem-proving
- dependent-types
:microscope: Java Code Coverage Library
- jacoco
- coverage
- java
- kotlin
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
Map over promises concurrently
- promise
- async-functions
- concurrency
- mapper
A Coq library for Homotopy Type Theory
- type-theory
- homotopy-type-theory
- univalent-foundations
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
- coq
- mathematics
- unimath
- coq-library
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Low-overhead, non-blocking I/O, external Process implementation for Java
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
The Java microservice lib. QBit is a reactive programming lib for building microservices - JSON, HTTP, WebSocket, and REST. QBit uses reactive programming to build elastic REST, and WebSockets based cloud friendly, web services. SOA evolved for mobile and cloud. ServiceDiscovery, Health, reactive StatService, events, Java idiomatic reactive programming for Microservices.
- qbit
- java
- microservice
- websocket-support
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
A lightweight ClojureScript abstraction over ReactJS
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
The repository host gives no description.
Language for high-assurance and high-speed cryptography
A Library for Representing Recursive and Impure Programs in Coq
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
A formalization of geometry in Coq based on Tarski's axiom system