davidbalbert / thimble
A small OS that doesn't do much.
☆22Updated 9 months ago
Alternatives and similar repositories for thimble:
Users that are interested in thimble are comparing it to the libraries listed below
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Algebraic structures for untyped Racket☆76Updated 7 months ago
- A tiny scheme interpreter in Haskell☆24Updated 5 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
- This is a new take on an old language: APL. The goal is to pare APL down to its elegant essence. This version of APL is oriented towar…☆89Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 3 months ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Datalog implementation in Haskell. Experimental proving ground for knowledge-base ideas.☆23Updated 6 years ago
- PoC for Object Oriented Haskell☆21Updated 4 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Salon des Refusés - Dialectics for new computer science☆11Updated 6 years ago
- A tiny CPU☆20Updated 15 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Updated 4 years ago
- moved to https://git.matthewbutterick.com/mbutterick/aoc-racket☆36Updated 2 years ago
- A grammar of data manipulation for Racket.☆20Updated 3 months ago
- Madlang is a language for generative literature☆51Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Lisp evaluator in the LIsp for Zick's Lisp implementations☆50Updated 3 years ago
- Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically de…☆67Updated 2 years ago
- A Scheme compiler to Lua bytecode☆22Updated 7 years ago
- Jupyter notebooks☆58Updated 2 months ago
- x86 assembler in scheme☆29Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- exploration of reflective architectures in Scheme☆20Updated 2 years ago
- Dawn Phase 1 proto-language☆37Updated 3 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 15 years ago