Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Repository Index
56,638 visible repositories in the index
1,873–1,896 of 2,355 · Most stars
File system path manipulation library
- lua
- filesystem
OPNSense's Suricata IDS/IPS Detection Rules Against NMAP Scans
- crowdsec
- intrusion-detection
- intrusion-detection-system
- intrusion-prevention
distributed data sync with operational transformation/transforms
- golang
- dot
- ot
- operational
System monitoring program for Raspberry pi single board computers written in Python 3.
- raspberry-pi
- raspberry-pi-3
- raspberrypi
- raspberry
The legacy distributed object storage server developed by PitchPoint Solutions can store billions of large and small files using minimal resources. Object data is stored in replicated volumes implemented like Facebooks Haystack Object Store. Object metadata which essentially maps an object name to a volume position is stored in an elasticsearch index. (Development by PitchPoint Solutions has been discontinued)
- distributed-storage
- distributed-systems
- vertx
- rxjava
A curated list of bookmarks, packages, tutorials, videos and other cool resources from the Magento ecosystem
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Scaffold new Craft CMS plugins, modules, and system components from the CLI
UI component library for the Liquid Design System of Merck KGaA, Darmstadt, Germany
- components
- webcomponents
- ui-components
- css-components
An example of a mono-repository of shared React components libraries!
A Camouflage Proxy for the Tor Anonymity System
Erlang port driver for interacting with syslog via syslog(3)
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
- hacking
- linux
- penetration-testing
- distro
Integrated Library System flavour of Invenio by RERO+.
- ils
- library-management-system
- invenio
- reroplus
Your own clipboard in the cloud, copy and paste text with gist between systems !!
Airut is a system for running Claude Code tasks from email and Slack. It handles workspace provisioning, container isolation, network sandboxing, session persistence, and cleanup — a secure foundation for autonomous agentic development.
Command line tool for exporting resources and generating code from your Figma files
- swift
- codegenerator
- figma
- figma-api
Decentralized Version Control System
A githubbed version of DIY production intercom system based on Mumble voice chat server and headless client running on Raspberry Pis.
ExGuard is a mix command to handle events on file system modifications
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Pure Go system tray library for Windows, macOS, and Linux. Zero CGO.
- cross-platform
- dbus
- desktop
- go
:green_book: Literate Programming System for Common Lisp
- literate-programming
- lisp
- common-lisp