Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Repository Index
47,133 repositories indexed
1,177–1,200 of 1,730 · Most stars
Visual Integration Designer for Apache Camel
- camel
- camel-k
- apache-camel
- integration
This is a refactoring kata for improving your coding skills
Claude Code skill for naming products, SaaS, and brands. Metaphor-driven naming that avoids AI slop.
- ai-skill
- branding
- claude
- claude-code
Yet another markdown parser, Compliant to CommonMark specification, written in Crystal.
- crystal
- markdown
- commonmark
- gfm
Agent skill for discovering TadaPay Marketplace merchants and products
Go micro-benchmarks for calculating the speed of language constructs
A low-glare Dracula-inspired VS Code theme with measured WCAG AA contrast, muted UI accents, and six-step bracket-depth highlighting.
Colour blindness bookmarklet
Colorscheme for (neo)vim written in lua, specially made for roshnivim with Tree-sitter support.
PowerShell Module to interact with VirusTotal
A very fast native Bible reader for the Mac, written in Rust: typeset Scripture, instant search, highlights, notes, bookmarks. Public-domain translations built in; bring your own licensed ones.
- bible
- egui
- macos
- rust
Magento 2 Blog Extension is a better blog extension for Magento 2 platform. These include all useful features of Wordpress CMS
- magento-blog
- magento-admin
- seo
- magento-marketplace
A benchmarking tool for MQTT Servers
Mirror of https://gitlab.com/pg_top/pg_top
Suricata Extreme Performance Tuning guide - Mark II
A Markdown Text Editor to manually edit a markdown file, with instant preview of the output in a HTML Viewer. A Preview handler which allows you to see the content of the markdown file without open it, in the "Preview Panel", integrated into Windows Explorer.
Reactive publishing framework, filesystem-based with support for Markdown, nested hierarchies, and instant content rebuilding. Written in Elixir.
- elixir
- markdown
- publishing-platform
- website-builder
🌐 Minimalistic and fast i18n library for Ruby
- i18n
- ruby
- minimal
- translations
A lightweight, flexible, and safer alternative to chroot and/or Docker.
- chroot-environment
- chroot
- linux
- namespace
An awesome, curated list of various software testing related blogs and similar resources.
Augmented Reality NativeScript plugin
- nativescript
- nativescript-plugin
- augmented-reality
- arkit
🏋️ dbbench is a simple database benchmarking tool which supports several databases and own scripts
Develop and deploy smart contracts using natural language.
- ai-web3
- web3-agents
- web3-ai
- agents-web3