staged-miniKanren
staged relational interpreters: running with holes, faster (by namin)
bibliography
Bibliography of Scheme research (readscheme.org and beyond) (by schemedoc)
| staged-miniKanren | bibliography | |
|---|---|---|
| 1 | 3 | |
| 122 | 139 | |
| - | 0.0% | |
| 9.2 | 1.1 | |
| 7 days ago | about 1 year ago | |
| Racket | Scheme | |
| - | - |
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.
bibliography
Posts with mentions or reviews of bibliography.
We have used some of these posts to build our list of alternatives
and similar projects.
- Scheme/PL papers
-
Papers on writing virtual machines for scheme?
If you need more inspiration, check out the bibliography: https://github.com/schemedoc/bibliography/blob/master/page8.md
-
Transformation order of nested syntax-rules macros
https://github.com/schemedoc/bibliography/blob/master/page3.md
What are some alternatives?
When comparing staged-miniKanren and bibliography you can also consider the following projects:
schemepunk - A batteries-included extended standard library for seven R7RS Scheme dialects.
lispy - Learning with Peter Norvig's lis.py interpreter
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.
gerbil - Gerbil Scheme
IronScheme - IronScheme
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.