← 최신 프로덕트

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.

오픈소스

9 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  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점

  2. Hyke

    github.com

    a programming language that runs on TypeScript's type system

    Hacker News38점

  3. PEP 827

    peps.python.org

    TS-like type manipulation in Python

    Hacker News7점

  4. Ezno

    github.com

    a TypeScript checker written in Rust, is now open source

    Hacker News113점

  5. Kvist

    github.com

    a Lisp for systems programming that compiles to Odin

    Hacker News34점