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 10 years ago
- Shem's powerful IDE.☆62Updated 5 years ago
- Concurrency and Metaprogramming for JS☆262Updated 7 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- Sliding puzzle built in Elm☆51Updated 10 years ago
- Repeat from the sign☆79Updated 9 years ago
- ☆55Updated 8 years ago
- Lemur: visual functional programming language that compiles to Python☆70Updated 8 years ago
- Implementations of µKanren in assorted languages☆64Updated 9 years ago
- syn·di·cate: a language for interactive programs☆158Updated 9 months 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
- The Sentient Programming Language.☆82Updated 5 years ago
- A programming language for young children☆109Updated 7 years ago
- Fast immutable data structures☆32Updated 10 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Crux Programming Language☆53Updated 3 months ago
- Experimental language☆56Updated 2 years ago
- ECMAScript derived programming language☆68Updated 10 years ago
- Lisp-style language that compiles to JavaScript☆130Updated last year
- Outlet is a simple Lisp-like programming language☆159Updated 7 years ago
- Parser combinators for JS☆13Updated 10 years ago
- Request for Comments on changes to Eve☆28Updated 9 years ago
- Shen on javascript.☆71Updated 7 years ago
- This is a library for "Overveld-style" constraint relaxation.☆68Updated 2 years ago
- The Om programming language.☆174Updated last year
- Using elm to make a simple chatroom☆59Updated 8 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆48Updated 8 years ago
- Javascript implementation of Scheme's numeric tower☆30Updated 12 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 10 years ago