ColemanGariety / derivation-machine
Propositional calculus in Haskell
☆11Updated 8 years ago
Alternatives and similar repositories for derivation-machine:
Users that are interested in derivation-machine are comparing it to the libraries listed below
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated last week
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- ☆52Updated 8 years ago
- Alice ML implementation☆17Updated 2 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- CHIP-8 virtual machine implementation in the Rust programming language☆13Updated 9 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- #lang for writing C code☆15Updated 7 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 2 years ago
- A programming language☆77Updated 11 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 4 years ago
- ☆7Updated last month
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- OAuth in OCaml☆21Updated 12 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- My Own Linear Lisp☆40Updated 6 years ago
- A schemy Lisp backed by Haskell☆60Updated 6 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Updated 3 years ago
- miniKanren in OCaml☆31Updated last year
- Experimental Javascript Environment☆22Updated 15 years ago
- A small demo lambda-language written in Python☆31Updated 6 years ago
- Sinister's Scheme Compiler!☆24Updated 2 years ago
- 📟 Encoding/Decoding tool for Martin David's theoretical S language programs.☆16Updated 8 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago