staged-miniKanren
staged relational interpreters: running with holes, faster (by namin)
lambdanative
LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt. (by part-cw)
staged-miniKanren | lambdanative | |
---|---|---|
1 | 1 | |
122 | 1,377 | |
- | 0.4% | |
9.2 | 7.5 | |
6 days ago | 8 days ago | |
Racket | Scheme | |
- | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
staged-miniKanren
Posts with mentions or reviews of staged-miniKanren.
We have used some of these posts to build our list of alternatives
and similar projects.
lambdanative
Posts with mentions or reviews of lambdanative.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-12-01.
-
Mobile lisps revisited
It seems https://github.com/part-cw/lambdanative is still alive and kicking. Gambit Scheme.
What are some alternatives?
When comparing staged-miniKanren and lambdanative you can also consider the following projects:
schemepunk - A batteries-included extended standard library for seven R7RS Scheme dialects.
IronScheme - IronScheme
gerbil - Gerbil Scheme
cant - A programming argot
aeon - A live-coding system for musical pattern manipulation
bibliography - Bibliography of Scheme research (readscheme.org and beyond)
guile-json - JSON module for Guile
cyclone - :cyclone: A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.
dotfiles - My Guix Home Environment
curl-scheme - Simple HTTP client for Scheme
Schemings - You dig Scheme. The world is coded in C. You get both.
staged-miniKanren vs schemepunk
lambdanative vs IronScheme
staged-miniKanren vs gerbil
lambdanative vs cant
staged-miniKanren vs IronScheme
lambdanative vs aeon
staged-miniKanren vs bibliography
lambdanative vs guile-json
staged-miniKanren vs cyclone
lambdanative vs dotfiles
lambdanative vs curl-scheme
lambdanative vs Schemings