End-to-end encryption for data at rest: a C library and CLI with recoverable keys, post-quantum (ML-KEM) key exchange, and user-to-user sharing
- encryption
- stream-encryption
- aes-256-gcm
- ecdh
Repository Index
57,637 visible repositories in the index
1,129–1,152 of 1,319 · Most stars
Library for Classical Coq
Free and open-source medical device discovery and identification
- medical-devices
- network-traffic
- pcap
- port-mirroring
Fast incident overview
🕛 Zero-overhead Fennel JIT compiler at runtime of Neovim with safety rollbacks
- fennel
- neovim
- nvim
- nvim-plugin
Strict, native code style formatting plugin for Neovim. Expose deep nesting, overlong lines, trailing whitespace, trailing empty lines, todos and inconsistent indentation.
- neovim
- formatting
- lua
- neovim-plugin
Gradle plugin and CLI for computing code coverage of new/modified code based on a diff
- code-coverage
- diff
- gradle-plugin
- jacoco
Command line tool that combines airswarm and peervision to stream p2p content over your local network
:hammer: A website for the BLDS Data Specification
- open-data
- opendata
- standards
- pemits
Generic, zero-alloc, 100%-test covered Quadtree for golang
- golang-library
- quadtree
- data-structures
- generics
Data policy IN, dynamic view OUT: PACE is the Policy As Code Engine. It helps you to programatically create and apply a data policy to a processing platform like Databricks, Snowflake or BigQuery (or plain 'ol Postgres, even!) with definitions imported from Collibra, Datahub, ODD and the like.
- data-catalog
- data-processing
- policy-enforcement
- bigquery
Local-first policy gateway for coding agents. Allow, review, or block MCP, shell, SQL, GitHub, and HTTP actions with scoped credentials and signed evidence.
- golang
- observability
- opentelemetry
- policy-engine
Multi-stage Riemannian flow matching for physically valid molecular docking, with GNINA scoring, PoseBusters filtering, CLI inference, and benchmarks.
- alphafold3
- docking
- drug-design
- drug-discovery
Coq library on rewriting theory and termination
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
ROS package to run coverage testing
Draw a polygon on the map or paste a geoJSON and explore how the s2.RegionCoverer covers it with S2 cells depending on the min and max levels
- s2
- geojson
- go
Controller framework for Vert.x-web with automatic configuration and dynamic discovery.
Markdown editor with clarity +1, as a desktop application.
gdstats provides common statistical distributions in Godot 3.0
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Plugin for RAD Studio, which allows launching and debugging on an Android device without connecting to a computer via USB. Works over WiFi.
Dr.Fone Mobile start Suite Premium Edition: Android and iPhone Screen, FRP, and Carrier SIM Unlockin
- android
- device-management
- dr-fone-mobile
- dr-fone-mobile-pc