gregr / experiments
a steady descent into madness
☆16Updated last month
Related projects ⓘ
Alternatives and complementary repositories for experiments
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆11Updated 2 years ago
- You are trapped on an infinite tile floor along with murderous marbles☆10Updated last month
- A 65C02 Assembly eDSL in Haskell☆16Updated 6 years ago
- lang Thue + Regex☆13Updated 2 years ago
- Glide programming language☆20Updated last year
- A Futhark implementation of Ray Tracing: the Next Week☆14Updated last year
- Manfred von Thun's Programming Language Joy☆16Updated this week
- Unlambda interpreter☆11Updated 4 months ago
- A Haskell port of the C++ smallpt path tracer☆15Updated 3 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 4 years ago
- Some rudimentary proofs on subtyping☆11Updated 2 years ago
- A SKI combinators interpreter written in assembly☆17Updated 4 years ago
- ☆17Updated 5 years ago
- ☆23Updated 3 years ago
- An experimental language with compile time bounds checking☆14Updated 5 years ago
- Portable high-level assembler with authentic C syntax☆22Updated 2 years ago
- ☆53Updated 7 years ago
- an encoding of affine effect handlers using pthreads☆12Updated last year
- A small logic programming language.☆15Updated 5 months ago
- Erlang BEAM emulator in Haskell☆48Updated 10 years ago
- a reasonably fast syntax highlighter☆13Updated 3 years ago
- ☆33Updated 6 months ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.☆21Updated 3 years ago
- ☆10Updated 3 years ago
- Abusing the C99 preprocessor for meta-programming☆20Updated 6 years ago
- Your happy place for learning APL☆16Updated last year
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated last year