Lists (5)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Coq
- D
- Dafny
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- FreeBASIC
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- Makefile
- Markdown
- NSIS
- Nix
- OCaml
- PHP
- Perl
- PostScript
- PowerShell
- Prolog
- Python
- QML
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- TLA
- TeX
- TypeScript
- Vim Script
Jira from your terminal - because browser tabs are overrated
Periscope gives you "duplicate vision" to help you organize and de-duplicate your files without losing data 🔭
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Example application code for the python architecture book
A CLI tool that deletes half your files — perfectly balanced, as all things should be.
Generate audiobooks from EPUBs, PDFs and text with synchronized captions.
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Hurl, run and test HTTP requests with plain text.
A BitTorrent client implementation in Go
A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.
Pocket Flow: Codebase to Tutorial
Deliberate exercises for Kubernetes
A curated list of awesome software for Apple's macOS.
View HTTP/HTTPS requests made by any Linux program
🎨 Diagram as Code for prototyping cloud system architectures
An open-source, self-hostable PaaS alternative to Vercel, Heroku & Netlify that lets you easily deploy static sites, databases, full-stack applications and 280+ one-click services on your own servers.
⬛️ CLI tool and library for saving complete web pages as a single HTML file
#1 PDF Application on GitHub that lets you edit PDFs on any device anywhere
Code repo for https://benhoyt.com/writings/io-is-no-longer-the-bottleneck/
SSH server & client security auditing (banner, key exchange, encryption, mac, compression, compatibility, security, etc)
Learn where some of the network sysctl variables fit into the Linux/Kernel network flow. Translations: 🇷🇺
Advanced Python Mastery (course by @dabeaz)