A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
817–840 of 2,441 · Most stars
A Parsing Expression Grammar (PEG) module, using the D programming language.
Bindings to mapnik for node.js
Auto generated Go wrapper for Dear ImGui via cimgui
- golang
- imgui
- cimgui
Project Delphi-OpenCV. Translation of OpenCV library header files in Delphi
A wrapper for the Eclipse Mosquitto™ MQTT client library for PHP.
- php
- mqtt-client
- mosquitto
- libmosquitto
Lanes is a lightweight, native, lazy evaluating multithreading library for Lua 5.1 to 5.5.
Boost.org python module
Reactive Extensions for Lua
go-functional is a library of iterators to augment the standard library
- go
- golang
- functional-programming
http://hopac.github.io/Hopac/Hopac.html
- concurrent-programming
- csp
- actors
- cml
Simple LISP in Go
Compile Java byte-code to native CPU's.
- 6502
- assembly
- atari
- c64
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
Emits events in Go way, with wildcard, predicates, cancellation possibilities and many other good wins
- emitter
- golang
Lossless compression C library built for ultra-fast decode. Faster than LZ4 (+35% to 105%+; best on ARM64), at a better ratio. Official Rust, Python, Node.js, Go and WASM bindings. Write-once/read-many, with optional seekable archives for O(1) random access.
- arm64
- c
- compression
- lz4
Small configuration file parser library for C.
- config
- configuration-files
- c
- conf
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
Throttle promise-returning & async functions
⚙️ Golang functional utility library with syntactic sugar. It's like lodash, but for Go
- golang
- functional-programming
- utility-library
- go
golang worker pool , Concurrency limiting goroutine pool
- golang
- pool
- concurrency
- workerpool
Tulip Node is the official node.js wrapper for Tulip Indicators. It provides over 100 technical analysis overlay and indicator functions.
A simple and powerful multithreading library for Delphi
Delegate-based C# P/Invoke alternative - compatible with all platforms and runtimes.
- csharp
- pinvoke
- native
- c