Stars
- All languages
- Agda
- Assembly
- Batchfile
- Bicep
- Bikeshed
- BitBake
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- D
- Dhall
- Dockerfile
- Eagle
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- G-code
- Go
- HCL
- HTML
- Hack
- Haskell
- Haxe
- HolyC
- Idris
- Inno Setup
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Just
- Koka
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nim
- Nix
- OCaml
- Objective-C
- Open Policy Agent
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- RPM Spec
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SVG
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- SuperCollider
- Swift
- TeX
- TypeScript
- TypeSpec
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
📚 Freely available programming books
Automatic SQL injection and database takeover tool
Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
🔒 Consolidating and extending hosts files from several well-curated sources. Optionally pick extensions for porn, social media, and other categories.
Official repository for IPython itself. Other repos in the IPython organization contain things like the website, documentation builds, etc.
Deduplicating archiver with compression and authenticated encryption.
Bayesian Modeling and Probabilistic Programming in Python
Ready-to-run Docker images containing Jupyter applications
The comprehensive WSGI web application library.
Awesome autocompletion, static analysis and refactoring library for python
🌠 Dark powered asynchronous completion framework for neovim/Vim8
Tools for managing DNS across multiple providers
Pixel graphics in terminal with unicode braille characters
Cobbler is a versatile Linux deployment server
NixOps is a tool for deploying to NixOS machines in a network or cloud.
Pull github, bitbucket, and trac issues into taskwarrior
Network and WiFi controller: provisioning, configuration management and updates, (pull via openwisp-config or push via SSH), x509 PKI management and more. Mainly OpenWRT, but designed to work also …
Ansible role that installs and upgrades OpenWISP.
Optional tools to help manage data in a mergerfs pool
Implementation of user management and multi-tenancy for OpenWISP