- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Lists (32)
Sort Name ascending (A-Z)
π½ Animation
πΌοΈ Art
π Binary Formats
π Bootstrapping
ποΈ Build systems
π Compilation
π¨ Creative Tools
π Data Layout
π± Digital Gardens - Examples
π± Digital Gardens - Tools
π Documentation - Tools
π Effects
Effect systems, Algebraic effects and handlersβ¦ resources, languages, libraries and use casesπ£ Elaboration
Examples of elaborating surface languages into minimal core languagesπ Fish Shell
π Fonts
πΉοΈ Game Development
πΉοΈ Games
π Geometric Algebra
π Memory Safe by Default
π± Module Systems - Case Studies
π± Module Systems - Languages
π‘ My Stack
βοΈ Nix - Example Configurations
βοΈ Nix - Tools
πΎ Nostalgia
πͺ OCaml - js_of_ocaml
π Procedural
Things related to procedural generation, generated worlds, etc.π² Property Based Testing
πΌ Shaders
β± Staged Programming
π³ Structural Editing
π World Building - Conlanging
- All languages
- AMPL
- ANTLR
- APL
- ATS
- ActionScript
- Ada
- Agda
- AppleScript
- Assembly
- Astro
- Awk
- BQN
- Ballerina
- Batchfile
- Boogie
- Brainfuck
- C
- C#
- C++
- COBOL
- CSS
- Chapel
- Cirru
- Clean
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Dylan
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Forth
- Fortran
- Futhark
- GAMS
- GDScript
- GLSL
- Gherkin
- Gleam
- Go
- Grammatical Framework
- HTML
- Handlebars
- Haskell
- Haxe
- HolyC
- Idris
- Ink
- Isabelle
- JSON
- Janet
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lex
- LiveScript
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- Mercury
- Meson
- Modelica
- Modula-2
- MoonScript
- Nearley
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenEdge ABL
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- Processing
- Prolog
- PureScript
- Python
- R
- Racket
- Ragel in Ruby Host
- Raku
- ReScript
- Reason
- Red
- RenderScript
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Sail
- Scala
- Scheme
- Self
- ShaderLab
- Shell
- Shen
- Smalltalk
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- XQuery
- Xtend
- Yacc
- Zig
- jq
- sed
Starred repositories
Emoji for everyone. https://twemoji.twitter.com/
Repository for the book "Crafting Interpreters"
In-depth guide to the best open-source typefaces: https://beautifulwebtype.com
A vintage 1980s DOS inspired Twitter Bootstrap theme
Pattern matching syntax for ECMAScript
Procedurally generated Chinese landscape painting.
A rendition of everyone's favorite 1995 Microsoft operating system for Linux.
MVP.css β Minimalist classless CSS stylesheet for HTML elements
A classless CSS framework to write modern websites using only HTML.
LaTeX.css is a CSS library that makes your website look like a LaTeX document
System font stack CSS organized by typeface classification for every modern operating system
Interactively Visualizing Ownership and Borrowing for Rust
A timeless Twitter Bootstrap theme built for the modern web.
My collection of bitmap fonts pulled from various demoscene archives over the years
Open source, experimental, and tiny tools roundup
The Power of Prolog: Introduction to modern Prolog
Create styles that don't mysteriously break!
Madoko is a fast markdown processor for high quality academic and technical articles
Fonts and UFO Masters of Inria Serif and Inria Sans Typeface
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
A collection of tools for writing technical documents that mix Coq code and prose.
Protocol documentation for Secure Scuttlebutt
Programming Models and Languages for Distributed Computation