Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
11 repositories
📝 Compilation
31 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 cases54 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages26 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
36 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
78
results
for source starred repositories
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)
The Definition of Standard ML, Revised (1997)
Library of the ##dependent distributed research support group
Introduction to algebraic effects and handlers
This repo is a list of papers that discuss errors in research due to software errors
Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
Implementation for ICFP 2020 paper