zaxtax/microKanren zaxtax/microKanren

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • License
    BSD 3-Clause "New...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zaxtax/microKanren
github

zaxtax

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

python implementation of µKanren

More Repositories

1

hakaru-old

A probabilistic programming embedded DSL for Haskell
Haskell
24
star
2

ocaml-clustering

Collection of clustering algorithms written in Ocaml
OCaml
18
star
3

xmonad-sessions

A session management module for xmonad
Haskell
17
star
4

infer.py

C#
17
star
5

probKanren

probKanren paper and implementation
Scheme
5
star
6

hsbib

A collection of programs for managing, manipulating, annotating, and using bibtex files
Haskell
4
star
7

perf

Perf calculates a variety of performance metrics suitable for boolean classification problems.
C
3
star
8

scipy2013_struct

Slides for Scipy 2013 talk on Structured Prediction
JavaScript
3
star
9

pymc2020_model_checking

Jupyter Notebook
3
star
10

robot

a magical creation powered by a few unorthodox parts
Clojure
2
star
11

clj-stemmer

Thin wrapper around libstemmer-java
Clojure
2
star
12

mcts_progsynth

Using Monte-Carlo Tree Search for Program Synthesis
Haskell
2
star
13

hacknight2013

1
star
14

simpsons_changepoint

A changepoint model for when Simpson's golden era ended
Python
1
star
15

gmm-example

Haskell
1
star
16

gpt-neo-playground

A playground to explores large language models
Python
1
star
17

hist

Command-line histograms
Python
1
star
18

bustle

Bustle: Botton-up Program Synthesis Through Learning-Guided Exploration
Python
1
star
19

gametheory

Game Theory experiments
Haskell
1
star
20

dotfiles

My configuration files
Emacs Lisp
1
star