π΅βπ«
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
55 repositories
π Bootstrapping
48 repositories
ποΈ Build systems
11 repositories
π Compilation
29 repositories
π¨ Creative Tools
36 repositories
π Data Layout
3 repositories
π± Digital Gardens - Examples
9 repositories
π± Digital Gardens - Tools
41 repositories
π Documentation - Tools
3 repositories
π Effects
Effect systems, Algebraic effects and handlers⦠resources, languages, libraries and use cases53 repositories
π£ Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
π Fish Shell
4 repositories
π Fonts
27 repositories
πΉοΈ Game Development
2 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
34 repositories
πΎ Nostalgia
28 repositories
πͺ OCaml - js_of_ocaml
3 repositories
π Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
π² Property Based Testing
4 repositories
πΌ Shaders
16 repositories
β± Staged Programming
6 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
- JSON
- Janet
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Less
- Lex
- LiveScript
- Lua
- MATLAB
- MLIR
- 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
11
stars
written in F#
Clear filter
Darklang main repo, including language, backend, and infra
extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0
A general purpose statically-typed concatenative programming language.
Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactions with the programming environmnent.
Playing around with languages concepts like type inference, pratt parsing, parser combinators and immutability.