General Modeling Network Specification
- network
- specification
- highway-network
- road-network
47,133 repositories indexed
193–216 of 323 · Most stars
General Modeling Network Specification
macOS menu-bar app for fine-grained VPN routing: bypass the VPN for chosen domains/services, force others through it, or (Custom mode) route each domain/subnet out a specific egress — direct, a specific VPN, an HTTP/SOCKS5 proxy, or a Tailscale peer. Includes a vpnb CLI.
An enhancement for Heroku Scheduler + Sidekiq for scheduling jobs at specific times.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Yet another markdown parser, Compliant to CommonMark specification, written in Crystal.
Mock an SSH server and define all commands it supports (Python, Twisted)
undo specific lines or partial selections without affecting the rest of the file
Fast crypto toolkit for modern client-side JavaScript
RISC-V Specification in Coq
⚡A lightweight, framework-agnostic OpenAPI 3.x specification builder for Go.
Auto-optimizing a neural net (and its architecture) on the CIFAR-100 dataset. Could be easily transferred to another dataset or another classification task.
Tracker for issues specific to the Vulkan version of Dota 2 on Windows, Linux, and macOS
This repository contains reverse engineering results and resources for a few specific car models of a very specific car manufacturer. Please don't sue.
Cake Fuzzer is a project that is meant to help automatically and continuously discover vulnerabilities in web applications created based on specific frameworks with very limited false positives.
Specification for the LargestContentfulPaint API
Working towards a new TAP specification
A macOS App to explore CoreImage Filters.
Truncate a string to a specific width in the terminal
This repository hosts the specification for the Cartographic Information Model
🍵 First-class Elixir match specifications.
Open/preview contents of the current file at a specific commit, without using git checkout
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
Analyzer to inspect network packets generated by the SMPTE ST 2110 specification.
Generate Delphi client SDKs for any REST API defined with the OpenAPI specification.