davidbalbert / thimbleLinks
A small OS that doesn't do much.
☆22Updated last year
Alternatives and similar repositories for thimble
Users that are interested in thimble are comparing it to the libraries listed below
Sorting:
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…☆22Updated 11 years ago
- maps are everything.☆10Updated 3 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 3 weeks ago
- simple parser combinators for Common Lisp☆25Updated 7 years ago
- Repeat from the sign☆80Updated 8 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- exploration of reflective architectures in Scheme☆21Updated 3 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript☆11Updated 3 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- moved to https://git.matthewbutterick.com/mbutterick/aoc-racket☆36Updated 2 years ago
- Your happy place for learning APL☆16Updated 2 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluati…☆20Updated last week
- x86 assembler in scheme☆29Updated 6 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- A C implementation of the Shen programming language☆70Updated 3 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 7 months ago
- Madlang is a language for generative literature☆51Updated 6 years ago
- A compiler for a simple language using llvm☆35Updated last year
- The LC3 virtual machine☆23Updated 5 months ago
- Algebraic structures for untyped Racket☆77Updated 10 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- Edit Game Boy games in-browser while they're running.☆35Updated 4 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago