Sign in

Repository Index

71,372 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

217–240 of 246 · Most stars

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

Elixir library providing some handy parallel processing facilities that supports configuring number of workers and timeout.

  • parallel-processing
  • elixir-library

A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.

  • pdf
  • pdf-lib
  • csharp-pdf

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

  • golang
  • go
  • goroutine

Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD.

Ni is a small esoteric programming language turing complete, cell based, like brainfuck.

  • esoteric-programming-language
  • esoteric-language
  • esoteric-interpreter
  • esoteric-languages