NASA PVS Library of Formal Developments
Repository Index
47,133 repositories indexed
12,169–12,192 of 22,586 · Most stars
Type-safe DHCPv4 client, server, relay-aware watcher, and packet tools for Node.js
- javascript
- node
- server
- dhcp
Synchronization and asynchronous computation package for Go
- go
- async
- future
- promise
A lightweight library for writing concurrent programs in Go using the Actor model.
- actor
- go-actor
- concurrency
- concurrent-programming
Compilation of autoexec scripts and mods for Xiaomi Yi camera after reverse engineering of firmware.
- reverse-engineering
- xiaomi
- xiaomi-firmware
- xiaomi-camera
TranslatedPacket monster (っ‘-’)╮=͟͟͞͞◒ ヽ( '-'ヽ) TUI tool for sending packets of arbitrary input and monitoring packets on any network interfaces (default: eth0). Windows/macOS/Linux
- packet-generator
- packet-analyzer
- network
- networking
The project provides high-performance concurrency, enabling highly parallel computation.
MIT CS 6.042 opencourseware Fall 2010 problems + solutions
🧬 Template engine middleware for Fiber
- middleware
- fiber
- template-engine
- template
A declarative serialization framework for controlling formatting of data at the byte and bit level using field bindings, converters, and code.
- serialization
- serializer
- protocol
- c-sharp
Property-based testing library for Elixir (QuickCheck style).
A compiler from Doxygen XML to reStructuredText -- hence, the name. It parses XML databases generated by Doxygen and produces reStructuredText for the Python documentation generator Sphinx.
- documentation-tool
- documentation-generator
- sphinx-doc
- restructured-text
Python telnet honeypot for catching botnet binaries
Roslyn-based analysis for code using the Serilog logging library. Checks for common mistakes and usage problems.
- serilog
- roslyn
- analysis
- refactor
Go bindings for unarr (decompression library for RAR, TAR, ZIP and 7z archives)
- tar
- rar-format
- 7zip
- golang-library
MisterFusion is Swift DSL for AutoLayout. It is the extremely clear, but concise syntax, in addition, can be used in both Swift and Objective-C. Support Safe Area and Size Class.
- autolayout
- swift
- ios
- iphone-x
Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.
- evalexpr
- evaluator
- dot-net
- dotnetcore
A Rust library for constructing, sending, capturing, and decoding network packets
- libpcap
- network-programming
- networking
- packet-crafting
An opinionated HTTP library for .NET applications built on HttpClient message handlers. Provides request de-duplication, prioritised concurrency limiting, speculative background fetching and optional response caching.
Android Malware Sandbox
The TiGL Geometry Library to process aircraft geometries in pre-design.
- opencascade
- aircraft
- c-plus-plus
- geometry
ELMAH for Net.Standard and Net.Core
- net-core
- elmah
- mvc-core
- asp-net-core
The IBM/charts repository provides helm charts for IBM and Third Party middleware.
- kubernetes
- helm
- helm-charts
- ibm
C# .NET 10 Blazor habit tracker application. Works on Web, Windows, Linux, Android, iOS and macOS.
- blazor
- blazor-server
- blazor-wasm
- blazor-webassembly