Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Repository Index
47,133 repositories indexed
21,937–21,960 of 26,754 · Most stars
GitHub App authentication for Go: installation tokens, JWTs and PATs as oauth2.TokenSource, plus webhook signature verification and KMS/HSM signing
Micropython Menu for LCD Displays
- micropython
- lcd
- lcd-display
- lcd16x2
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
Common Lisp library for manipulating date/time objects at a higher level
Swift Playground that creates jazz improvisations (WWDC 2018)
- swift
- playground
- midi
- jazz
Helps make a single page application more friendly to screen readers.
React hooks implementation of Google's "Thanos" easter egg
- react
- thanos
- avengers-endgame
- thanos-snap-effect
Pure python parser for Snort/Suricata rules.
- suricata-rules
- suricata-rule
- snort-rules
- snort-rules-generate
Musical Scores for Piano with full sources in LilyPond file format
- lilypond
- music
- score
- bach
Generate a plain-english summary of what is in a GeoJSON file.
- banished
webjars integration for Apache Wicket
Replaces Rails PostgreSQL `dbconsole` with the much nicer `pgcli`
Starting code and proposed solution for Functional Structures Refactoring Kata
- functional-programming
- kata
- deliberate-practice
- category-theory
Neovim plugin that adds H/M/L indicators to your line numbers
- neovim
- neovim-plugin
- plugin
A Go library that implements Consistent Hashing with zero dependency
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
NativeCode Xamarin Android Design Library Support Packages
stav text annotation visualiser
Generative AI client for multiple providers with plugin extension support
The repository host gives no description.
Queue data structure for Elixir-lang
- hex
- elixir
- queue
- data-structure
IOS/MAC Denial-Of-Service [POC/EXPLOIT FOR MASSIVE ATTACK TO IOS/MAC IN NETWORK]