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
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
🧠 Laws, Theories, Principles and Patterns for developers and technologists.
A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
Convert PDF to HTML without losing text or format.
A set of Ansible playbooks to build and maintain your own private cloud: email, calendar, contacts, file sync, IRC bouncer, VPN, and more.
A vintage 1980s DOS inspired Twitter Bootstrap theme
Compilation of public failure/horror stories related to Kubernetes
....a top-notch resource for web developers
Vim Bootstrap is a generator that provides a simple method of generating a configuration for vim / neovim.
Convert LaTeX documents into beautiful responsive web pages using LaTeXML.
These patterns document how to apply open source principles and practices for software development within the confines of an organization - aka InnerSource.
Jr. the static, static javascript site generator (you should see this)
Create, edit and display a journal article, entirely in GitHub
Programming Models and Languages for Distributed Computation