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
67
stars
written in HTML
Clear filter
A proof-of-concept SWI-Prolog implementation of Web Prolog
A little website to explain that sometimes we just like to have fun!
Documentation of OpenType shaping behavior
Test bed for simple css resets that make your static page nice without classes.
Dat documentation [ DEPRECATED - see https://github.com/hypercore-protocol/new-website/tree/master/guides for similar functionality. More info on active projects and modules at https://dat-ecosysteβ¦
The previous Rust website. The current website's code is at https://github.com/rust-lang/www.rust-lang.org.
Text presentation maker for a simplified markup language
Reprinting Vaughan Pratt's Paper on Top Down Operator Precedence Parsing
Benchmarks for capture-avoiding substitution
The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"
The official reveal.js website and documentation
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
This is a simple javascript file that gives you control over the browser cursor, alowing for fully animated cursors using CSS's cursor functionality.
Cargo dephell analyzes the third-party dependencies of a Rust workspace
Template to effortlessly build math-rich websites
joke page until I decide what to do with this domain name
SAW front end for the MIR language from rustc
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris β Coq Formalization
sweirich / lennart-lambda
Forked from steshaw/lennart-lambdaλλλλ Lennart Augustsson's λ-calculus cooked four ways
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid