#
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
46
results
for source starred repositories
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.
A dynamically-typed CBPV language embedded in Racket
A metalanguage for creating sophisticated DSLs 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.
Erlang-style binaries/bitstrings for Racket
Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.