#
brendanzab
Follow
π΅βπ«
writing elaborators
I'm interested in how computers can extend human creativity, and how how type systems can be used as tools for thought. π¨βπ¨π¨βπ»π¨βπ¬
- Melbourne, Australia
- http://voyager3.tumblr.com
- @brendan@types.pl
- @brendanzab.bsky.social
Lists (32)
Sort Name ascending (A-Z)
π½ Animation
5 repositories
πΌοΈ Art
3 repositories
π Binary Formats
53 repositories
π Bootstrapping
41 repositories
ποΈ Build systems
11 repositories
π Compilation
21 repositories
π¨ Creative Tools
34 repositories
π Data Layout
3 repositories
π± Digital Gardens - Examples
9 repositories
π± Digital Gardens - Tools
36 repositories
π Documentation - Tools
3 repositories
π Effects
Effect systems, Algebraic effects and handlers⦠resources, languages, libraries and use cases50 repositories
π£ Elaboration
Examples of elaborating surface languages into minimal core languages20 repositories
π Fish Shell
4 repositories
π Fonts
25 repositories
πΉοΈ Game Development
1 repository
πΉοΈ Games
2 repositories
π Geometric Algebra
17 repositories
π Memory Safe by Default
4 repositories
π± Module Systems - Case Studies
3 repositories
π± Module Systems - Languages
12 repositories
π‘ My Stack
14 repositories
βοΈ Nix - Example Configurations
12 repositories
βοΈ Nix - Tools
28 repositories
πΎ Nostalgia
17 repositories
πͺ OCaml - js_of_ocaml
3 repositories
π Procedural
Things related to procedural generation, generated worlds, etc.42 repositories
π² Property Based Testing
4 repositories
πΌ Shaders
16 repositories
β± Staged Programming
5 repositories
π³ Structural Editing
14 repositories
π World Building - Conlanging
8 repositories
- 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
- Kotlin
- LLVM
- Lean
- Lex
- LiveScript
- Lua
- MATLAB
- MLIR
- Makefile
- Markdown
- Mathematica
- Mercury
- Meson
- Modelica
- Modula-2
- MoonScript
- Nearley
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- OpenEdge ABL
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- Processing
- Prolog
- PureScript
- Python
- R
- Racket
- Ragel in Ruby Host
- Raku
- ReScript
- Reason
- Red
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Scheme
- Self
- Shell
- Shen
- Smalltalk
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- Xtend
- Yacc
- Zig
- jq
- sed
Starred repositories
8
stars
written in Lua
Clear filter
π₯ A cross-platform build utility based on Lua
Lua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
PICO-8 Reimplementation in Love2D. Chat: https://discord.gg/jGEMUse6RM
a quick and dirty single file implementation of 2d rotors from geometric algebra.