davidbalbert / thimble
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:
- language verification, construction, and analysis☆20Updated 3 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- Repeat from the sign☆80Updated 8 years ago
- Racket to WebAssembly "compiler".☆32Updated 4 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 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
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- PoC for Object Oriented Haskell☆21Updated 5 years ago
- maps are everything.☆10Updated 3 years ago
- A syntax checker for TOML files☆28Updated 5 years ago
- User Interfaces for Programming Languages: The Compendium☆27Updated 4 years ago
- Madlang is a language for generative literature☆51Updated 6 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 2 years ago
- An encoding of the UK's self-isolation rules in Prolog☆34Updated 4 years ago
- ☆35Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 6 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A Scheme compiler to Lua bytecode☆22Updated 8 years ago
- Ait - Concatenative language for making visual demos with Canvas☆47Updated 7 years ago
- Clojure interpreter that does not support alphanumerics.☆13Updated 10 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated this week
- repo for fashion business/ideas/etc.☆22Updated 5 years ago
- A modern tool for literate programming☆275Updated 8 years ago
- My favorite quotes☆17Updated 9 months ago
- Your happy place for learning APL☆16Updated 2 years ago
- A compiler for a simple language using llvm☆35Updated last year
- A browser Pong game, taking advantage of Idris's ability to compile to javascript.☆18Updated 10 years ago