Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Repository Index
47,133 repositories indexed
73–96 of 96 · Most stars
Common Lisp/CFFI bindings for the Vulkan API.
- vulkan
- cffi
🐝 A Highly Performant and easy to use goroutine pool for Go
- goroutine
- goroutine-pool
- goroutine-scheduling
- task-scheduler
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Transpiling fortran code to golang code
- transpile
- f4go
- fortran
- golang
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Tealang - high level language for Algorand ASC1 and TEAL
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
Implementation of sum/option types using QVariant
Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.
- parallel-processing
- elixir-library
Build parsers easily
- parser
- parser-library
- parsing
- pratt-parser
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad
Ant Design bindings for Fable Elmish
- fable
- antd
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
a NIF for libntru. NTRU is a post quantum cryptography algorithm.
- ntru
- cryptography
- encryption
- lattice-based-crypto
Common Lisp bindings for Enchant spell-checker library
Gulp plugin to transform ES6 to ES5.
- jstransform
- javascript
- gulp
- es6
Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]
- coq
- complex-analysis
- real-analysis
The repository host gives no description.
JS style promises added to GML, as well as an abundant number of async functions which can now return a promise.
Compiler & Runtime for 'Almost Binary'. Code in platform-independent binary and utilize high-level data structures and state-of-the-art libraries (e.g. quantum computing, blockchain, ..)
- binary
- compiler
- runtime
- csharp
Crystal bindings for Hunspell.
- crystal
- hunspell
- bindings
- wrapper
ES6 arrow functions compiled to ES5 compliant code.