High-speed approximate nearest neighbors for Ruby
Repository Index
47,133 repositories indexed
649–672 of 863 · Most stars
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Relation algebra library for Coq
Iterate over promises serially
A better `Promise.race()`
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Map over promises serially
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Max’s Parser Combinators: a simple and pragmatic library for writing parsers and lexers based on combinatory parsing.
- parser-combinators
- common-lisp
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
D version of the C headers for openssl
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
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
Modified HP-48 Superchip Binary to address undesirable quirks present in the platform.
PHP port of Less.js
Run AS worker in your AdobeAir projects without having to deal with complicated flash.system.Worker class
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
The universal ISSR server compatible with <your-favorite-programming-language>
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Crystal bindings to the Zstandard (zstd) compression library
- crystal
- crystal-bindings
- zstd
- zstandard