jcoglan / kanrensLinks
Various implementations of microKanren
☆20Updated 8 years ago
Alternatives and similar repositories for kanrens
Users that are interested in kanrens are comparing it to the libraries listed below
Sorting:
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Lemur: visual functional programming language that compiles to Python☆70Updated 7 years ago
- Parser combinators for JS☆13Updated 9 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- scm->js☆22Updated 9 years ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- ☆14Updated 2 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 10 years ago
- Roguelike for 7DRL make in Elm☆30Updated 9 years ago
- A cross-platform file activity monitor☆72Updated 9 years ago
- The {lambda way} project is a wiki, {lambda tank}, built as a thin overlay on top of any modern web browser, and devoted to writing, comp…☆29Updated 4 years ago
- An example Sinatra project using Nix to configure the development environment☆14Updated 8 years ago
- (defunct as of Elm 0.17) Signal-related, advanced and convenience functions☆23Updated 9 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Shen on javascript.☆70Updated 6 years ago
- A clone of 2048 using FRP in elm.☆32Updated 11 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- A series of progressively more complex programming languages☆36Updated 10 years ago
- Implementations of µKanren in assorted languages☆63Updated 9 years ago
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Updated 9 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- ☆53Updated 4 years ago
- Programming Language meets UI☆51Updated 7 years ago
- Crux Programming Language☆52Updated 3 years ago
- just another compiler experiment☆14Updated 8 years ago
- ☆55Updated 8 years ago
- syn·di·cate: a language for interactive programs☆157Updated 2 months ago