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
🎓 Path to a free self-taught education in Computer Science!
🧠 Laws, Theories, Principles and Patterns for developers and technologists.
🐧 A list of awesome Linux softwares
Github Pages template based upon HTML and Markdown for personal, portfolio-based websites.
A fast, clean, responsive Hugo theme.
Style your webpage like Edward Tufte’s handouts.
Schema.org - schemas and supporting software
This recipe is dedicated to helping you make the best possible pizza dough for Neapolitan pizza.
Build your own personal finance analytics using Plaid, Google Sheets and CircleCI.
Issue tracker for Simplify Gmail, a browser extension to simplify Gmail's interface
A consistent code style guide for SQL to ensure legible and maintainable projects
A lightweight, responsive web e-book template
The Power of Prolog: Introduction to modern Prolog
turtles, patches, and links for kids, teachers, and scientists
Create, edit and display a journal article, entirely in GitHub
A book about category theory
Programming Models and Languages for Distributed Computation
A minimal Jekyll theme inspired by Tufte CSS
Powerful new theme featuring Semantic UI for speedily creating amazing websites and mobile-hybrid apps on GitHub Pages.
valueflows repo has moved to https://codeberg.org/valueflows/valueflows
Content of the Active Inference Journal
Applied category theory applied to epidemiological models
Desjardins, E., Higgins, C.D., Paez, A. (2022) Examining spatial equity of bike share: A balanced floating catchment area approach, Transportation Research Part D (102) 103091
In the Reign of Terror: The Adventures of a Westminster Boy by Henty, G. A. (George Alfred) is a Project Gutenberg book, now on Github.