An any-snarf program that processes application protocols (HTTP/FTP/...) from tcpdump or snoop files and stores session and file data
Repository Index
47,133 repositories indexed
49–72 of 87 · Most stars
LAS Recomp for Android: Link's Awakening (Switch) statically recompiled to native ARM64 for Android phones - touch controls, 60 fps frame generation, set up from your own game on the phone
A Terminal user interface for maintaining an Arch Linux distribution.
- cylon
- aur
- bleachbit
- aur-helper
Eternal Darkness: Sanity's Requiem static recompilation (DolRecomp + GXRuntime) for Mac, Windows and Linux / Steam Deck. Bring your own disc.
- dawn
- eternal-darkness
- gamecube
- linux
ConstructCAD — open source BIM authoring (Rust, egui, wgpu)
TransformerCPI: Improving compound–protein interaction prediction by sequence-based deep learning with self-attention mechanism and label reversal experiments(BIOINFORMATICS 2020) https://doi.org/10.1093/bioinformatics/btaa524
- self-attention
- compound-protein-interaction
- transformercpi
- structure-free-virtual-sreening
TranslatedKubernetes automation, migration and ops toolkit. Kubernetes automation, operations and migration tool: Alibaba Cloud 3-master HA, Compose→K8s, Terraform, Kubekey, deployment verification and troubleshooting.
- aliyun
- devops
- docker-compose
- k8s
⚗ Experimental Hermes Agent plugins built by Nous Research but not supported: community tier in the plugin catalog, up for adoption.
- experimental
- hermes
- hermes-agent
- nous-research
Akka.NET Reference Architecture - CQRS + Sharding + In-Memory Replication
Open-source event management, ticketing and membership platform for communities, clubs, independent venues and independent artists.
- django
- django-ninja
- eu-vat
- event-management
System monitoring program for Raspberry pi single board computers written in Python 3.
- raspberry-pi
- raspberry-pi-3
- raspberrypi
- raspberry
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
A Rocq formalization of information theory and linear error-correcting codes
- information-theory
- error-correcting-codes
- probability
- convexity
Tool used for dumping memory from Android devices
Rust SDK for Pocketbase
- pocketbase
- rust
- sdk-rust
- webasm
Realistic synthetic events for testing, demos, and pipelines — streamed live or generated in bulk
- clickhouse
- data-engineering
- data-generation
- devops
📚 Only Cite what you can verify
- arxiv
- bibliography
- bibtex
- citation
MicroPython IEEE802.15.4 / Zigbee parser
Finite sets, finite maps, multisets and generic sets
- coq
- ssreflect
- mathcomp
- finite-sets
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
A C++ Library for Linux based single board computers ( sbc ) to drive electronic displays. Developed and tested on Raspberry pi (5, 4 & 3).
- erm19264
- hd44780
- library
- nokia5110
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem