Lists (5)
Sort Name ascending (A-Z)
Cool
I don’t necessarily use this, but I appreciate that somebody built it.46 repositories
Fonts
Libre fonts that I like15 repositories
Helpful
Websites or repositories that I learned something from.15 repositories
Interesting
I find this project interesting or fascinating, but I don’t use it (yet).138 repositories
Useful
Tools that make my life better.75 repositories
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- D
- Dart
- Elixir
- Emacs Lisp
- F#
- F*
- Fortran
- Go
- HTML
- Hack
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Max
- Nix
- OCaml
- Pascal
- Perl
- Pony
- Prolog
- PureScript
- Python
- R
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Shell
- Spline Font Database
- Starlark
- TeX
- TypeScript
- Vala
- Vim Script
- WebAssembly
- Zig
- hoon
Starred repositories
10
stars
written in TeX
Clear filter
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors
This repo has moved to https://gitlab.com/pjotrp/guix-notes Notes on Guix
Reference manual for ForwardCom instruction set and software standards
Code to completely generate the poster: 'Magnetic Nulls from the Topological Perspective' presented ad EPS2019 by Chris Smiet et al.