Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Repository Index
47,133 repositories indexed
11,785–11,808 of 15,229 · Most stars
An easy way to add mentions to uitextview like Facebook and Instagram
- swift
- uitextview
- ios
- mentions
Analysis tool for estimating the likelihood that a binary contains compressed or encrypted bytes
- entropy
- pe-file
- pe-files
- pe-format
Type-safe functions for common Go slice operations
- golang
- go
- slices
- slice-tricks
Analyzer for radio telegrams in a HomeMatic environment
- homematic
- asksinpp
- cc1101
- homebrew
a native library implementing secp256k1 purely for the crystal language.
- crystal
- crystal-language
- native-library
- secp256k1
A type-to-type copy function code generator.
- code-generator
- ddd-patterns
- golang
Start gin microservice from YAML, plugin of rk-boot
- gin
- go
- golang
- interceptor
Convert an Observable to a Promise
Map over promises serially
Data Structures and streaming algorithms for Common Lisp.
:bell: Catch realtime audio wave from microphone with JavaScript!
- javascript
- microphone
- audio
- visualization
Fast, stream based XML Sitemap generator in Elixir
- sitemap-generator
- sitemaps
- elixir
- search
Produce Scalable Vector Graphics files with Common Lisp
- svg
- common-lisp
HTTP/2 implementation in Common Lisp
- common-lisp
- http2
The most powerful, high performing and highly polished Z-Wave node for Node-RED based on Z-Wave JS. If you want a fully featured Z-Wave framework in your Node-RED instance, you have found it.
- zwave
- zwave-js
- controller
- smart
A Common Lisp function caching / memoization library
Javascript SDK for trading on cryptocurrency exchanges like FTX, OKX, Bybit, and more. Supports API data feeds and WebSocket. Built by the Compendium Team.
- api-wrapper
- bybit
- bybit-api
- bybit-websocket
V bindings for raylib https://www.raylib.com
A package for sending email from your Pyramid application
Use the Pomodoro Technique in Neovim with built-in session tracking and break reminders.
This script takes a file or directory as input, uses GPG AES256 symmetric encryption with the password you provide and adds it to IPFS and returns the IPFS hash.
- ipfs
- cli
- encryption
- ipfs-add
Self-hosted browser terminal manager for AI coding agents. Control Claude Code, Codex, Gemini, and shell sessions from your phone or browser over Tailscale.
Clojure bindings for the BigML.io API