#
Lists (32)
📽 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
Starred repositories
48
stars
written in Racket
Clear filter
WIP implementation of a Haskell-like Lisp in Racket
Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
Analyze data from swim, bike and run activities
nanopass compiler framework for Racket
multi-stage relational programming for staged relational interpreters: running with holes, faster
Web page for IU Compiler Course for Fall 2020
Dependently-typed language with Iverson-style implicit lifting
A (very) unfinished OpenType Math layout and rendering engine in Racket
A Verilog dialect supercharged by the Racket meta-fairies.
nikomatsakis / rust-redex
Forked from jbclements/rust-redexA Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
A dynamically-typed CBPV language embedded in Racket
A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
A TODO list feature for DrRacket, like to Agda's goal list but for any language.
A metalanguage for creating sophisticated DSLs in Racket.
Erlang-style binaries/bitstrings for Racket
Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.