← Latest products

type-kanren

type-level microKanren in TypeScript. A compile-time logic programming system(microKanren) using TypeScript's type system, featuring unification, substitution, and goal evaluation.

Open source

9 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. TypeScript as a proof assistant for intuitionistic propositional logic

    gist.github.com

    TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.

    Hacker News17 pts

  2. Hyke

    github.com

    a programming language that runs on TypeScript's type system

    Hacker News38 pts

  3. PEP 827

    peps.python.org

    TS-like type manipulation in Python

    Hacker News7 pts

  4. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113 pts

  5. Kvist

    github.com

    a Lisp for systems programming that compiles to Odin

    Hacker News34 pts