jcoglan / kanrens
Various implementations of microKanren
☆19Updated 8 years ago
Alternatives and similar repositories for kanrens:
Users that are interested in kanrens are comparing it to the libraries listed below
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- Shem's powerful IDE.☆62Updated 4 years ago
- Sliding puzzle built in Elm☆52Updated 9 years ago
- ☆55Updated 8 years ago
- Programming Language meets UI☆51Updated 7 years ago
- A modern tool for literate programming☆274Updated 7 years ago
- Concurrency and Metaprogramming for JS☆261Updated 7 years ago
- Fast immutable data structures☆32Updated 10 years ago
- Purely functional statically typed Lisp which compiles to JavaScript☆46Updated 7 years ago
- ECMAScript derived programming language☆68Updated 9 years ago
- A little language for machines with speech acts☆110Updated 6 years ago
- A wiki and web-services based development environment for Awelon project☆91Updated 5 years ago
- Implementations of µKanren in assorted languages☆61Updated 8 years ago
- A series of progressively more complex programming languages☆36Updated 10 years ago
- Crux Programming Language☆52Updated 2 years ago
- Multiplayer tile-laying board game in Elm☆19Updated last year
- Parser combinators for JS☆13Updated 9 years ago
- A concatenative programming language inspired by Manfred von Thun's Joy☆24Updated 9 years ago
- prolog interpreter in javascript☆82Updated 8 years ago
- Shen on javascript.☆69Updated 6 years ago
- [Unmaintained: please use jsverify instead] A property-based testing library for clearly specifying code invariants and behaviour.☆78Updated 11 years ago
- Totally functional programming literature☆60Updated 6 years ago
- Request for Comments on changes to Eve☆27Updated 8 years ago
- Repeat from the sign☆80Updated 8 years ago
- my own language written by me☆21Updated 9 years ago
- ☆63Updated 6 years ago
- Awelon project is a new UI model with a new language.☆103Updated 9 years ago
- A cross-platform file activity monitor☆72Updated 8 years ago
- A native PureScript virtual DOM implementation.☆48Updated 7 years ago
- Toy web rendering engine in haskell☆34Updated 9 years ago