#
Starred repositories
An experimental proof assistant based on a type theory for synthetic ∞-categories.
10 papers that all PhD students in programming languages ought to know, for some value of 10
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
an urban dictionary style glossary for PL terms
5
Updated Sep 15, 2020
Agda is a dependently typed programming language / interactive theorem prover.
A programming language with static memory management based on λ-calculus
Map your keys for web surfing, expand your browser with javascript and keyboard.
A emacs tree plugin like NerdTree for Vim.
Don't Fear the Profunctor Optics!
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
An opinionated list of resources for learning Haskell
Auto-detect the connect display hardware and load the appropiate X11 setup using xrandr or disper
A cryptographically verifiable code review system for the cargo (Rust) package manager.
Collection of functions and scripts to debug Erlang in production.
📚 Community guides for open source creators
Open Source Continuous File Synchronization
handouts and notes from the 2017 edition of the summer school
Rebar3 plugin to auto compile and reload on file change.
Erlang module to convert and send cover data to coveralls.io (or similar). Available as a hex package on https://hex.pm/packages/coveralls.
PyTorch Tutorial for Deep Learning Researchers
Tensors and Dynamic neural networks in Python with strong GPU acceleration