Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Repository Index
47,133 repositories indexed
553–576 of 698 · Most stars
Type aware promises for crystal lang
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Compile-Time Parser Generator in D programming language.
Library for selective receive OTP processes
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Library for Classical Coq
Qt Qml bindings for the D programming language
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
Run promise-returning & async functions a specific number of times concurrently
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common Interface to ISO Prolog implementations from Common Lisp
Go Bindings for libsamplerate
- golang
- libsamplerate
- audio
- audio-processing
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
The Thue programming language: Programming with grammars
Wait for a specified number of promises to be fulfilled
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
An Earley parser written in Ruby
- ruby
- rubynlp
- natural-language-processing
- nlp
Coq library on rewriting theory and termination
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp