Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!
Repository Index
72,362 visible repositories in the index
505–528 of 931 · Most stars
ThreadLocal for Golang.
- go
- golang
- goid
- goroutine
A GTK / Fortran binding, and its documentation (in the Wiki tab).
OCaml bindings for TensorFlow
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
An inter-process and inter-machine lockfile utility that works on a local or network file system.
- lockfile
- atomic
- nodejs
- cross-process
C++20 concurrency framework with no compromises. Excellent performance, powerful features, and simple syntax.
- coroutines
- cpp
- cpp20
- lock-free
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
Ruby language bindings for LIBSVM
- libsvm
- ruby-bindings
- ruby
- ruby-language-bindings
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
- matlab
- rust
- jit-compiler
- linear-algebra
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
:alarm_clock: A lightweight implementation of Promises in Swift
- promise
- swift
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
High performance Transactional Memory for Common Lisp
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Pattern matchings for Go.
- golang
- go
- pattern-matching
- golang-library
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp