A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
47,133 repositories indexed
481–504 of 1,233 · Most stars
Modular file scanning/analysis framework
- python
- analytic-machines
- analysis-framework
- python-script
Small, usable configuration for ZSH
Witness is a pluggable framework for software supply chain risk management. It automates, normalizes, and verifies software artifact provenance.
- security-tools
- security
- attestation
- verification
A minimalistic menu bar time tracker for MacOS
CuckooDroid - Automated Android Malware Analysis with Cuckoo Sandbox.
Incident Response Forensic Framework
ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization.
A minimal filesystem-based publishing engine with Markdown support and code highlighting
Linker/Compiler/Tool detector for Windows, Linux and MacOS.
- detect
- reverse-engineering
- signature
- malware-analysis
a delightful and customizable mostly monochrome colorscheme thats soft on the eyes and supports treesitter, lsp, and heaps of neovim plugins.
- alacritty-theme
- colorscheme
- eza
- fish-theme
Defanged Indicator of Compromise (IOC) Extractor.
- ioc
- indicators-of-compromise
- library
- ioc-extractor
Lunr-core is a small, full text search library for use in small applications. It's a .NET port of LUNR.js.
Small (8kb), batteries-included redux store to reduce boilerplate and promote good habits.
A small and flexible (well documented) UIButton subclass with animated loading progress, and completion animation.
- uibutton
- progress
- download
- animated
Malware exploits
Animated alert library like Swarm app.
- animation-library
- swift
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Rune: Native UI framework
Minimalistic SSH deployment
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
- programming-language
- lisp
- malbolge
- esoteric
Agentic Android launcher: build your own apps and widgets with AI agents, Omarchy themes, Arch Linux without root
Debug adapter for Neovim plugins
Small & portable byte-aligned LZ77 compression
- compression
- lz77
- lempel-ziv
- c