Qt Qml bindings for the D programming language
Repository Index
47,133 repositories indexed
217–240 of 295 · Most stars
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Ada-bindings for 0mq
Easy, concurrent, asynchronous tasks in Swift.
- swift
- asynchronous
- dispatch
- concurrency
PostgreSQL client library (libpq) binding
- pecl
- libpq
- asynchronous
- postgresql
Simple implementation of the hungry-consumer model in Elixir
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
A Scala Native wrapper of the SQLite C library
Bindings to libgraphqlparser for R
Coq library on rewriting theory and termination
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
The repository host gives no description.
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
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
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
IO for Gallina
- coq
- ocaml
- extraction
Vert.x jOOQ DSL
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
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]
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Python module to reduce a cmake file to an AST
Implementation of sum/option types using QVariant