Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
Repository Index
58,136 visible repositories in the index
97–120 of 140 · Most stars
Common Lisp CFFI wrapper around the DuckDB C API
A blocking queue written in Elixir.
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
- common-lisp
- domain-specific-languages
- dsl
- json
🐝 A Highly Performant and easy to use goroutine pool for Go
- goroutine
- goroutine-pool
- goroutine-scheduling
- task-scheduler
A micro workers class that easily manages a pool of threads to optimise simultaneous jobs and jobs endings, for MicroPython (used on Pycom modules & ESP32)
- pycom
- micropython
- lopy
- wipy
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Library for Classical Coq
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
Simple implementation of the hungry-consumer model in Elixir
Rcpp Bindings to C++ parser for TOML files
- r
- c-plus-plus-11
- cran
- r-package
The Thue programming language: Programming with grammars
Clojure library for Blueprints (part of the Tinkerpop graph stack).
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Embeddable Forth interpreter written in Ada
- ada
- forth
- interpreter
A lock-free concurrent data structures library for Common Lisp.
- common-lisp
- concurrency
- lisp
- primitives
Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64
- dspack
- microsoft-directshow
- delphinuspackage
Command line tool for Bluetooth Low Energy MicroPython devices
- micropython
- python
- embedded
- cli
High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).
Go option and result types that optionally contain a value
- golang
- option
- result
- error
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm