Lists (6)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Cuda
- Cython
- Dart
- F#
- Forth
- Fortran
- Go
- Go Template
- HCL
- HTML
- Handlebars
- Haskell
- JCL
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M4
- Makefile
- Markdown
- Meson
- NSIS
- Nim
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- PowerShell
- Python
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Shell
- TLA
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- Zig
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
The Python micro framework for building web applications.
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…
Rich is a Python library for rich text and beautiful formatting in the terminal.
An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
A book-in-progress about the Linux kernel and its insides.
get things from one computer to another, safely
Software to automate the management and configuration of infrastructure and applications at scale.
A framework for managing and maintaining multi-language pre-commit hooks.
Powerline is a statusline plugin for vim, and provides statuslines and prompts for several other applications, including zsh, bash, tmux, IPython, Awesome and Qtile.
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
OpenSnitch is a GNU/Linux interactive application firewall inspired by Little Snitch.
Modular visual interface for GDB in Python
The modern API client that lives in your terminal.
Code for the manim-generated scenes used in 3blue1brown videos
Exploit Development and Reverse Engineering with GDB & LLDB Made Easy
A Python library for anomaly detection across tabular, time series, graph, text, and image data. 60+ detectors, benchmark-backed ADEngine orchestration, and an agentic workflow for AI agents.
The no-magic web API and microservices framework for Python developers, with a focus on reliability and performance at scale.
The property-based testing library for Python
CLI tool and python library that converts the output of popular command-line tools, file-types, and common strings to JSON, YAML, or Dictionaries. This allows piping of output to tools like jq and …
Create *beautiful* command-line interfaces with Python
Bandit is a tool designed to find common security issues in Python code.
cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.