ColemanGariety / derivation-machine
Propositional calculus in Haskell
☆11Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for derivation-machine
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- ☆52Updated 7 years ago
- experimental computational medium and supporting tools☆22Updated this week
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆26Updated 4 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- Forth emulator, as a Racket #lang☆20Updated last year
- Schrödinger's Tcl☆30Updated 9 years ago
- Shen KLambda to KLVM translator.☆29Updated 8 years ago
- #lang for writing C code☆15Updated 7 years ago
- ☆13Updated 3 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A programming language☆76Updated 11 years ago
- An implementation of microKanren in Shen☆9Updated 9 years ago
- Example of injecting x64 shellcode into Amazon Redshift☆16Updated 7 years ago
- Simple Neural Network Examples in 8 lines APL☆30Updated last year
- An implementation of the clustering algorithm k-means in J.☆13Updated 9 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 9 years ago
- ☆21Updated 7 years ago
- RPySOM - The Simple Object Machine Smalltalk implemented in RPython☆15Updated 3 years ago
- The MLtonLibrary repository☆34Updated last year
- Relational Programming in miniKanren☆52Updated 9 years ago
- minimal lisp that compiles to x86☆10Updated 7 years ago
- Epic - a Supercombinator Compiler☆11Updated 14 years ago
- A simple game in Scheme.☆15Updated 7 years ago
- A C implementation of the Shen programming language☆70Updated 2 years ago