Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
Repository Index
71,372 visible repositories in the index
769–792 of 920 · Most stars
A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.
- cross-platform
- dialog
- file
- filesystem
List manipulation library inspired by Haskell package Data.List
Make functions return a channel for parallel processing via go routines.
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Matplotlib for Elixir
- elixir
- elixir-lang
- matplotlib
- python
Generate images from Graphviz dot strings in Clojure and Clojurescript
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Python module to reduce a cmake file to an AST
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
An embeddable implementation of the Ngaro Virtual Machine for Go programs
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
Implementation of sum/option types using QVariant
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
Crystal bindings for libpcap
- packets
- pcap
- crystal
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
Hunchentoot Gserver based taskmanager
promise semaphore
A couple of lambda shorthand macros