Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

361–384 of 540 · Most stars

CGo bindings to Yandex.Mystem

  • russian-specific
  • mystem
  • cgo-bindings
  • linguistics

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

  • ocaml
  • pcre
  • pattern-matching
  • string-matching

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

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

D bindings for the sokol headers (https://github.com/floooh/sokol)

  • bindings
  • d
  • dlang
  • sokol

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

  • combinatorial-optimization
  • community-detection
  • dynamic-graphs
  • edge-orientation

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

  • coq-plugin
  • large-numbers
  • coq
  • docker-coq-action

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

  • elixir-lang
  • elixir
  • hex
  • package