A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Repository Index
47,133 repositories indexed
49–72 of 114 · Most stars
A library of mechanised undecidability proofs in the Coq proof assistant.
Arrow-macros provides Clojure-like arrow macros in Common Lisp
A safe way to execute functions asynchronously, recovering them in case of panic. It also provides an error stack aiming to facilitate fail causes discovery.
- go
- async
- hacktoberfest
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Convert Haskell source code to Coq source code.
- coq
- haskell
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Provide await and async methods to Crystal Lang
- crystal-language
- concurrency
🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].
- monads
- result-type
- typing
- python
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Guile-SSH is a library that provides access to the SSH protocol for GNU Guile programs.
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
- coq
- refinement
- mathcomp
- coq-platform
Improved Go Syntax (transpiler)
- go
- golang
Library providing fast hash based immutable map and set
- hashmap
- fsharp
- collections
- hashset
Statements of famous theorems proven in Coq [maintainer=@jmadiot]
- coq
- theorems
Julia wrapper around nettle cryptographic hashing/encryption library providing MD5, SHA1, SHA2 hashing and HMAC functionality, as well as AES encryption/decryption
- cryptography
- nettle
- encryption
- hash-algorithms
The repository host gives no description.
Foundational Cryptography Framework for machine-checked proofs of cryptography.