namin/metamk

Prolog-Style Meta-Interpreters in miniKanren

GitHub repository with 33 stars and 4 forks.

Language: Scheme

Topics: scheme, minikanren, metaprogramming, meta, logic-programming, reflection, prolog

Open provider repository

Latest metric snapshot

2026-06-05: 33 stars and 4 forks.

Similar repositories

  1. 1. MoganLab/mogan

    Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

    GitHub repository with 562 stars and 96 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Scheme

    Topics: beamer, codeeditor, cpp, editor, emcc, made-on-earth

Trending in Scheme

  1. 1. schematra/schematra

    sinatra inspired scheme web framework

    GitHub repository with 81 stars and 0 forks.

    Trending score: 0.36; stars gained: +1; forks gained: +0.

    Language: Scheme

  2. 2. MoganLab/mogan

    Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

    GitHub repository with 562 stars and 96 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Scheme

    Topics: beamer, codeeditor, cpp, editor, emcc, made-on-earth

  3. 3. mochilang/mochi

    Mochi is a small, fast, embeddable programming language designed for agents, data, and AI. It combines functional syntax, stream-first semantics, and native support for datasets, graphs, and simulation.

    GitHub repository with 328 stars and 14 forks.

    Trending score: 0.21; stars gained: +0; forks gained: +0.

    Language: Scheme

    Topics: agent, ai, graph, leetcode, stream

  4. 4. LFDT-Minokawa/compact

    The Compact programming language

    GitHub repository with 30 stars and 19 forks.

    Trending score: 0.05; stars gained: +0; forks gained: +0.

    Language: Scheme

  5. 5. part-cw/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.

    GitHub repository with 1,428 stars and 89 forks.

    Trending score: 0.04; stars gained: +0; forks gained: +0.

    Language: Scheme

Trending topic: scheme

  1. 1. MoganLab/mogan

    Mogan STEM Suite (based on GNU TeXmacs): Enjoy exploring science and technology!

    GitHub repository with 562 stars and 96 forks.

    Trending score: 0.30; stars gained: +0; forks gained: +0.

    Language: Scheme

    Topics: beamer, codeeditor, cpp, editor, emcc, made-on-earth

  2. 2. maplant/scheme-rs

    Embedded Scheme for the Rust Ecosystem

    GitHub repository with 322 stars and 23 forks.

    Trending score: 0.21; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: compiler, r6rs, rust, scheme, async

  3. 3. HelgeSverre/sema

    A Lisp with first-class LLM primitives, implemented in Rust

    GitHub repository with 13 stars and 0 forks.

    Trending score: 0.03; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: ai, anthropic, interpreter, lisp, llm, openai