staged-miniKanren Alternatives

Similar projects and alternatives to staged-miniKanren based on common topics and language

• schemepunk

  2 90 0.0 Scheme staged-miniKanren VS schemepunk

  A batteries-included extended standard library for seven R7RS Scheme dialects.

• lambdanative

  1 1,375 7.5 Scheme staged-miniKanren VS 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.

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• gerbil

  17 1,111 9.6 Scheme staged-miniKanren VS gerbil

  Gerbil Scheme

  

• IronScheme

  7 365 6.2 Scheme staged-miniKanren VS IronScheme

  IronScheme

  

• bibliography

  3 139 1.1 Scheme staged-miniKanren VS bibliography

  Bibliography of Scheme research (readscheme.org and beyond)

  

• cyclone

  8 811 8.5 Scheme staged-miniKanren VS 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.

• mediKanren

  6 317 8.1 Racket staged-miniKanren VS mediKanren

  Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives