Repository Index

Verified hash-based AMQ structures in Coq

• bloom-filter
• probability
• coq-formalization
• coq

Syntax tree generator for linguistic research

• rubynlp
• visualization
• linguistics
• ruby

Convert Elm project into Nix expressions

• elm
• elm-lang
• nix
• haskell

NOTICE: GTFS-Flex has been merged to GTFS. This repo is no longer up-to-date and will deprecated. Consult the google/transit repo for the up-to-date info.

A TextView that provides easy to use tagging feature for Mention or Hashtag

• mention
• hashtag
• textview
• swift

Extract the information needed from the Manifest.plist files to convert it to hashes compatible with hashcat

A strongly-typed genetic programming framework for Python

• python
• ipynb
• genetic-programming
• framework

:new_moon: Lune.js — Calculate the phases of the moon

• moon
• lune
• javascript
• phase

A photo gallery for Android with the smart features of Google Photos and iPhone Photos. Nothing leaves your phone.

• android
• degoogled
• gallery
• jetpack-compose

A simple Nix-Haskell skeleton

• nix
• haskell
• skeleton

Virtual Haskell Environment builder

A collection of hash functions, ciphers, tools, libraries, and materials related to cryptography & security. :closed_lock_with_key::closed_lock_with_key::closed_lock_with_key::closed_lock_with_key::closed_lock_with_key: (project was renamed, libchaos is main)

PTPopupWebView is a simple and useful WebView for iOS, which can be popup and has many of the customized item.

Killzone 3 // Unofficial PC Port (static recompilation). Work in progress, partly playable. Builds on your PC from your own game.

• ai-assisted
• direct3d12
• game-port
• killzone

A Java-based statically-typed fast template engine that can be used in any Java code. It has special adapter for use with the Play! Framework.

Open-source MQTT-based IoT dashboard visualization tool. Has full MQTT 5.0 support. Allows easy dashboards sharing. Works with any MQTT broker supporting the WSS protocol.

• dashboard
• mqtt
• mqtt-client
• quasar

A thin PSR-6 cache wrapper with a generic interface to various caching backends emphasising cache tagging and indexing.

• psr-cache
• apix-cache
• apix
• cache-backend

Checks with NSRL RDS servers looking for for hash matches

Lemmatizer for text in English. Inspired by Python's nltk.corpus.reader.wordnet.morphy

• rubynlp
• lemmatizer
• nlp
• wordnet

Containers backed by std.experimental.allocator

• d
• containers
• data-structures
• double-linked-list

Generate Equals, GetHashCode and operators methods from properties.

Fast & memory efficient hash tables for Java

• hashtable
• java
• simd
• robinhood-hashing

A revamped Google's jump consistent hash

• consistent-hash
• consistent-hash-algorithm
• consistent-hashing
• consistent-hashing-library

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml