Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Repository Index
47,133 repositories indexed
1,321–1,344 of 1,710 · Most stars
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
System monitoring program for Raspberry pi single board computers written in Python 3.
- raspberry-pi
- raspberry-pi-3
- raspberrypi
- raspberry
A Camouflage Proxy for the Tor Anonymity System
An example of a mono-repository of shared React components libraries!
🐧 Security-focused Linux distribution with 140+ tools, custom kernel 6.17.13, AI assistant | 5 editions | Cloud, AI/ML, Automotive, Hardware hacking
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
A blazing fast job processing system backed by GenStage & Redis.
- elixir-lang
- genstage
- background-jobs
- concurrent
A highly customizable Lua 5.2 build system, allowing for common external modules to be linked in statically, and built-in modules to be excluded
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
Super-simple build system for Elixir