Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
25–48 of 114 · Most stars
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
- cpp
- cplusplus
- cplusplus-17
- actor-model
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
A slice of functional programming to chain ruby services and blocks, thus providing a new approach to flow control. Make them flow!
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.
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
Language for high-assurance and high-speed cryptography
The library which provides useful monads, interfaces, and lazy iterators.
The project provides high-performance concurrency, enabling highly parallel computation.
Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
FXRuby is an extension module for Ruby that provides an interface to the FOX GUI toolkit.
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
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
A formalization of geometry in Coq based on Tarski's axiom system
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
Providing pattern matching for modern C++.
- cpp
- pattern-matching
- modern-cpp
A Verified Compiler for Gallina, Written in Gallina