Stars
- All languages
- ATS
- Assembly
- Batchfile
- C
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Dhall
- Elm
- Emacs Lisp
- Fennel
- Go
- HTML
- Haml
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Lean
- Lua
- Makefile
- Mercury
- Nix
- OCaml
- Perl
- PostScript
- Pug
- PureScript
- Python
- R
- Racket
- Reason
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- TSQL
- Tcl
- TeX
- TypeScript
- Vala
- Vim Script
📚 Freely available programming books
Scrapy, a fast high-level web crawling & scraping framework for Python.
If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.
Certbot is EFF's tool to obtain certs from Let's Encrypt and (optionally) auto-enable HTTPS on your server. It can also act as a client for any other CA that uses the ACME protocol.
Glances an Eye on your system. A top/htop alternative for GNU/Linux, BSD, Mac OS and Windows operating systems.
music library manager and MusicBrainz tagger
A keyboard-driven, vim-like browser based on Python and Qt.
🎨 Generate and change color-schemes on the fly.
A font family with a great monospaced variant for programmers.
Very efficient backup system based on the git packfile format, providing fast incremental saves and global deduplication (among and within files, including virtual machine images). Please post prob…
Typefaces for source code beautification
NeuralTalk is a Python+numpy project for learning Multimodal Recurrent Neural Networks that describe images with sentences.
PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the input, PathPicker presents you with a nice UI to select which…
CommonMark spec, with reference implementations in C and JavaScript
Client code for Jasper voice computing platform
Simple, elegant, Pythonic functional programming.
Command-line utility that extracts streams from various services and pipes them into a video player of choice. No longer maintained, use streamlink or youtube-dl instead.
adds flavor of interactive filtering to the traditional pipe concept of UNIX shell
Pixel graphics in terminal with unicode braille characters
[OBSOLETE - see readme] A tool for creating GIF screencasts of a terminal, with key presses overlaid.
Personal document manager (Linux/Windows) -- Moved to Gnome's Gitlab