π΅βπ«
writing elaborators
I'm interested in how computers can extend human creativity, and 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
54 repositories
π Bootstrapping
49 repositories
ποΈ Build systems
13 repositories
π Compilation
32 repositories
π¨ Creative Tools
38 repositories
π Data Layout
3 repositories
π± Digital Gardens - Examples
10 repositories
π± Digital Gardens - Tools
42 repositories
π Documentation - Tools
3 repositories
π Effects
Effect systems, Algebraic effects and handlers⦠resources, languages, libraries and use cases58 repositories
π£ Elaboration
Examples of elaborating surface languages into minimal core languages26 repositories
π Fish Shell
4 repositories
π Fonts
28 repositories
πΉοΈ Game Development
3 repositories
πΉοΈ Games
2 repositories
π Geometric Algebra
18 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
37 repositories
πΎ Nostalgia
29 repositories
πͺ OCaml - js_of_ocaml
3 repositories
π Procedural
Things related to procedural generation, generated worlds, etc.57 repositories
π² Property Based Testing
4 repositories
πΌ Shaders
16 repositories
β± Staged Programming
8 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
- Flix
- Forth
- Fortran
- Futhark
- GAMS
- GDScript
- GLSL
- Gherkin
- Gleam
- Go
- Grammatical Framework
- HTML
- Handlebars
- Haskell
- Haxe
- HolyC
- Idris
- Ink
- Isabelle
- 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
- NetLogo
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Odin
- OpenEdge ABL
- OpenSCAD
- PHP
- Pascal
- Perl
- PostScript
- PowerShell
- 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
- Squirrel
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TSQL
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wolfram Language
- Wren
- XQuery
- XSLT
- Xtend
- Yacc
- Zig
- jq
- reStructuredText
- sed
Starred repositories
3
stars
written in Smalltalk
Clear filter
Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.
Studio is an interactive software diagnostics environment
Integration of Sandblocks with Tree-Sitter to load block-based languages from grammars