Stars
- All languages
- ASL
- Ada
- Agda
- Assembly
- Ballerina
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Dafny
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Frege
- GCC Machine Description
- Gherkin
- Go
- Graphviz (DOT)
- Groff
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Modelica
- Mustache
- Nix
- OCaml
- Objective-C++
- PHP
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- QML
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Stan
- Standard ML
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- UrWeb
- Vim Script
- Vue
- XSLT
🙃 A delightful community-driven (with 2,400+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python…
Papers from the computer science community to read and discuss.
Streisand sets up a new server running your choice of WireGuard, OpenConnect, OpenSSH, OpenVPN, Shadowsocks, sslh, Stunnel, or a Tor bridge. It also generates custom instructions for all of these s…
Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.
Chromium OS Universal Chroot Environment (EOL)
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
Learn how to master the art of baking the programmer way.
An interactive way to peruse your git history from the terminal
Make a self hosted OpenVPN server in 15 minutes
A simple CLI for querying and updating YAML files
A simple command line (bash/shell) utility to estimate tasks using PERT [Program Evaluation and Review Technique]
Arduino Due shield for TI ADS1299 EEG system on a chip (deprecated)