#
Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
11 repositories
📝 Compilation
30 repositories
🎨 Creative Tools
37 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
42 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
Starred repositories
79
stars
written in TeX
Clear filter
Examples of how to create colorful, annotated equations in Latex using Tikz.
MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
Research on integrating datalog & lambda calculus via monotonicity types
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
Proposals for the Fortran Standard Committee
Functional teaching language for use in a discrete mathematics course
OCaml Documentations as one-pagers, easy to keep useful commands in mind
Agda lecture notes for the Functional Programming course at TU Delft
The Definition of Standard ML (1990)
Library of the ##dependent distributed research support group
The Definition of Standard ML, Revised (1997)
Introduction to algebraic effects and handlers
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
Implementation for ICFP 2020 paper