Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Repository Index
47,133 repositories indexed
169–192 of 195 · Most stars
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
A MT940 parser in Rust
- mt940
- fints
- hbci
- sepa
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort
CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀
- cgo
- golang
- deep-learning
- gradient-boosting
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Decimal number parser and formatter package for the Common Lisp language
- decimal-numbers
- common-lisp
- library
- parser
Unofficial OpenCV binding for D programming language
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.
- golang
- go
- goroutine
Haskell bindings to Colin Percival's scrypt implementation.
Bindings to special math functions from the Cephes library.
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
- coq
- mathcomp
- modal-logics
- ctl
Scan and parse LL(1) grammars simply and efficiently.
- go
- golang
- pratt-parser
- lexer-parser
Implementing promises in Ada. Type-safe, efficient, thread-safe, ...
Facility, Prosperity and Maintainability.
Unofficial automated SBCL build usable on Windows 7
One Go interface, five backends — filelock, flock, Redis, Postgres, etcd. Distributed locks with fencing tokens, semaphore mode, observability hooks, and TraceID propagation. Swap backends with one line.
- advisory-lock
- concurrency
- distributed-lock
- etcd
Docker images of coq-mathcomp [maintainer=?]
TEXP is a domain specific language for producing TeX documents with Common Lisp.
- tex
- domain-specific-language
GNU Scientific Library bindings for Crystal
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
GNU Scientific Library (GSL) bindings for Scala native
- scala
- scala-native
- gsl
- bindings