- 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
An introduction to programming language theory in Agda
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
An introductory course to Homotopy Type Theory
Logical manifestations of topological concepts, and other things, via the univalent point of view.
Lecture notes on univalent foundations of mathematics with Agda
Categories parametrized by morphism equality, in Agda
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
Agda formalisation of the Introduction to Homotopy Type Theory
The theory of algebraic graphs formalised in Agda
A workshop on learning Agda with minimal prerequisites.
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
A formalization of the polymorphic lambda calculus extended with iso-recursive types
Inline, type safe X86-64 assembly programming in Agda
A cost-aware logical framework, embedded in Agda.
This aims to be the most pretentious implementation of stlc in existence
Learn the Agda basics in three 2-hour sessions.