Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

625–648 of 765 · Most stars

Multi-String Pattern Matching Algorithm Using TrieNode

  • aho-corasick
  • trie
  • search
  • multi-search

This app is supposed to be an all-you-need toolkit for lucid dreaming with a focus on feature richness and customizability

  • dream
  • lucid
  • lucid-dreaming
  • lucid-dream

A version of TurboPower LockBox2, that is aimed at being compatible with Delphi, FPC and Lazarus 32/64 bit

An Elixir notifier to the Airbrake/Errbit. System-wide error reporting enriched with the information from Plug and Phoenix channels.

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