- 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
- Less
- 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
Exemplary real world application built with PureScript + Halogen
Build type-safe web apps with PureScript.
Concur UI Framework for Purescript
Optimizing backend toolkit and modern ECMAScript backend for PureScript
An experiment in replacing the virtual DOM and avoiding diffing
A UI library based on the incremental lambda calculus
Library of our UI components
Experiments with comonads for modelling React UIs
Purely functional UI library powered by FRP.
Infer user interfaces from type signatures
Visual programming UI and framework driven by pure functional language and data streams
Common control classes and utility functions
Step-by-step tutorial materials for the "A Whirlwind Tour of PureScript" workshop, held at YOW! Lambda Jam 2016 in Brisbane, and Compose Conf 2016 in Melbourne, Australia..
An "extensible coeffect" system built out of comonads and Day convolution.
Presentation on using React Spectacle via Pux & PureScript
A PureScript implementation of invertible syntax descriptions, from the paper "Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing" (Rendel and Ostermann 2010)