Sign in

Repository Index

78,850 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1,585–1,608 of 1,946 · Most stars

annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).

  • ruby
  • approximate-nearest-neighbor-search
  • nearest-neighbor-search
  • gem

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.

  • xor-filter
  • bloom-filter
  • erlang-nif
  • erlang

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.

  • functional-programming
  • javascript
  • js
  • monad

Elixir library to do pipeable transformations on html strings (with CSS selectors)

  • elixir
  • html-parser
  • html-renderer
  • css-selector