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
- ☆52Updated 8 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- experimental computational medium and supporting tools☆22Updated this week
- Schrödinger's Tcl☆30Updated 10 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Experimental Javascript Environment☆22Updated 15 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- exploratory programming for an object system in common lisp☆14Updated 9 years ago
- Iterated Function Systems fractals with OCaml.☆35Updated 2 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- A programming language☆77Updated 11 years ago
- ☆14Updated 4 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- Alice ML implementation☆17Updated 2 years ago
- Classroom demonstration of costly state verification in finance☆16Updated 10 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 11 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- organizes tags☆23Updated 7 years ago
- Sild is a lisp dialect☆43Updated 4 months ago
- ☆21Updated 8 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Updated 7 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- #lang for writing C code☆15Updated 7 years ago
- A Common Lisp wrapper around nsf/termbox☆16Updated 5 years ago