ColemanGariety / derivation-machineLinks
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
Sorting:
- A DSL/LISP dialect written in Haskell☆21Updated 6 years ago
- experimental computational medium and supporting tools☆22Updated this week
- ☆52Updated 8 years ago
- Bill's Utilities for Gambit Scheme☆17Updated 4 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- Gambit Scheme library to interface to Python☆9Updated last year
- Exploration of the inner workings of Racket☆19Updated 8 years ago
- ☆22Updated 8 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- An implementation of microKanren in Shen☆10Updated 10 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- ☆43Updated 2 weeks ago
- A linter for the Scheme programming language☆10Updated 8 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Generate formatted C++ from Racket S-expressions☆36Updated 9 years ago
- Forth emulator, as a Racket #lang☆21Updated 2 years ago
- Port of Shen to run on top of Wasp Lisp☆25Updated 3 years ago
- A redis client for Racket.☆17Updated 10 years ago
- A small demo lambda-language written in Python☆32Updated 6 years ago
- a Racket language inspired by ARc, by Kogir☆29Updated 11 years ago
- Alice ML implementation☆17Updated 2 years ago
- Racket Lang for Virtual Reality (Aframe)☆10Updated 4 years ago
- A general purpose, dynamic, functional programming language with strong support for concurrency.☆33Updated 3 years ago
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- A programming language☆77Updated 12 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 4 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Updated 3 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago