Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
Repository Index
47,133 repositories indexed
145–168 of 636 · Most stars
An Open-Source Collection of Flash Cards to Help You Preparing Your Algorithms & Data Structures and System Design Interviews 💯
- algorithms
- data-structures
- array
- bit-manipulation
Neovim plugin to manage the file system and other tree like structures.
- neovim
- file-explorer
- plugin
- lua
Algorithms & Data structures in C++.
Cross-platform AirDrop. File transfer between Android, iOS, Linux, macOS, and Windows over ad hoc WiFi. No network infrastructure required, just two devices with WiFi chips (and optionally Bluetooth) in close range.
- file-transfer
- wireless
- cross-platform
- ios
Postgres operator creates and manages PostgreSQL clusters running in Kubernetes
Official git repository for Biopython (originally converted from CVS)
- python
- bioinformatics
- genomics
- biopython
Distributed stream processing engine in Rust
Digger is an open source IaC orchestration tool. Digger allows you to run IaC in your existing CI pipeline ⚡️
- infrastructure-as-code
- terraform
- terraformcloud
- tacos
Simple, powerful, and fast logging for Python.
- python
- logging
- structured-logging
Solutions to LeetCode by Swift
Lightweight, fast and reliable key/value storage engine based on Bitcask.
- database
- kv-store
- golang
- data-structures
A simple, battle-tested and generic set type for the Go language. Trusted by GoogleCloudPlatform, Docker, 1Password, Ethereum and Hashicorp.
- go
- set
- threadsafe
- datastructures
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
The Ruby AI framework.
Production PostgreSQL for Kubernetes, from high availability Postgres clusters to full-scale database-as-a-service.
The dynamic infrastructure framework for everybody! Distribute the workload of many different scanning tools with ease, including nmap, ffuf, masscan, nuclei, meg and many more!
- hacking-vps
- bug-bounty
- tmux
- axiom
:cyclone: Clean Architecture with .NET6, C#10 and React+Redux. Use cases as central organizing structure, completely testable, decoupled from frameworks
- solid-principles
- ddd-architecture
- clean-architecture
- clean-code
Sacred is a tool to help you configure, organize, log and reproduce experiments developed at IDSIA.
- python
- machine-learning
- infrastructure
- reproducible-research
Official repository for the Boltz biomolecular interaction models
- binding-prediction
- drug-discovery
- protein-structure
Visual localization made easy with hloc
- deep-learning
- visual-localization
- feature-matching
- image-retrieval
HarnessRouter Community Edition: the self-hosted, Apache-2.0 edition of the unified interface for agent harnesses. Run Codex, Claude Code, Hermes, PI, DSH, and more through one API, with sessions, streaming, files, cancellation, and failure handling. Implements the Unified Harness Protocol (UHP), an open standard. Your keys, your infrastructure.
- agent-harness
- ai-infrastructure
- open-protocol
- open-source
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
- link-checker
- link-checking
- link-checkers
- validator
An all-round MQTT client that provides a structured topic overview
- mqtt
- mqtt-explorer
- homeautomation
- mqtt-client