Skip to content
@reloj

reloj

Relational clojure

Popular repositories Loading

  1. oclock oclock Public

    Clojure

  2. mimosa mimosa Public

    Microkanren in core.logic

    Clojure

  3. clpset-miniKanren clpset-miniKanren Public

    Forked from namin/clpset-miniKanren

    CLP(Set) in miniKanren

    Scheme

  4. staged-miniKanren staged-miniKanren Public

    Forked from namin/staged-miniKanren

    explorations of multi-stage logic programming in miniKanren

    Scheme

  5. clpsmt-miniKanren clpsmt-miniKanren Public

    Forked from namin/clpsmt-miniKanren

    CLP(SMT) on top of miniKanren

    Scheme

  6. core.logic core.logic Public

    Forked from clojure/core.logic

    Clojure

Repositories

Showing 10 of 15 repositories
  • core.logic Public Forked from clojure/core.logic
    Clojure 0 EPL-1.0 129 0 0 Updated Mar 25, 2024
  • staged-miniKanren Public Forked from namin/staged-miniKanren

    explorations of multi-stage logic programming in miniKanren

    Scheme 0 16 0 0 Updated Mar 5, 2024
  • dbKanren Public Forked from gregr/dbKanren

    Kanren on a database

    Racket 0 MIT 5 0 0 Updated Mar 5, 2024
  • clpsmt-miniKanren Public Forked from namin/clpsmt-miniKanren

    CLP(SMT) on top of miniKanren

    Scheme 0 MIT 8 0 0 Updated Mar 5, 2024
  • metaprob Public Forked from probcomp/metaprob

    An embedded language for probabilistic programming and meta-programming.

    JavaScript 0 GPL-3.0 18 0 0 Updated Mar 5, 2024
  • choco-solver Public Forked from chocoteam/choco-solver

    An open-source Java library for Constraint Programming

    Java 0 BSD-4-Clause 147 0 0 Updated Feb 2, 2024
  • naiveclpset Public

    A naïve approach for set unification.

    Clojure 0 0 0 0 Updated Sep 1, 2022
  • oclock Public
    Clojure 0 0 0 0 Updated Sep 6, 2021
  • metaKanren Public Forked from iambrj/metaKanren

    Relational interpreter for miniKanren, in miniKanren.

    Racket 0 MIT 2 0 0 Updated Jul 25, 2021
  • MK2020 Public Forked from WeixiMa/MK2020
    Racket 0 3 0 0 Updated Aug 28, 2020
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…