A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Repository Index
71,372 visible repositories in the index
313–336 of 547 · Most stars
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)
- dlang
- bindbc
- sdl-mixer
- sdl-image
A fast, purely functional data structure library in Common Lisp.
luaproc is a concurrent programming library for Lua
Python promises
- python
- promises
- promise
- promise-library
Dynamic library delivery tools for SBCL.
go-lock is a lock library implementing read-write mutex and read-write trylock without starvation
- golang
- go
- trylock
- mutex
PasMP - a parallel-processing/multi-processing library for Object Pascal
Library for lexing and parsing D source code
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
LibRaylib Bindings for Crystal.
- crystal
- binding
- framework
- gamedev
Coroutine-based multithreading library for Delphi
- delphi
- greenlet
- coroutines
- golang
Go bindings for FANN, library for artificial neural networks
Simple I/O event notification library wirtten in Golang
- epoll
- go
- networking
- event
🌟 Useful functional programming helpers for Go
- golang
- go
- functional-programming
- library
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
Lightweight Promises for Swift & Obj-C
- futures
- promises
- swift
- objective-c
A light-weighted Promise library for Objective-C
Ada bindings for the GTK+ graphical library.
A Clojure library for JavaFX
A comprehensive, reusable and efficient concurrent-safe generics utility functions and data structures library.
- go
- golang
- data-structures
- functional
Functional utility library for Apex
- apex
- functional-programming
- lodash
- ramda
tiny (2.7kb) functional programming library using native es5/6 operations