189 Repositories
inc
898
llm-verified-with-monte-carlo-tree-search
208
dot
154
io.livecode.ch
135
staged-miniKanren
122
logically
114
unsound
74
pink
54
metaprogramming
54
propagators
49
biohacker
42
scalogno
40
metasolfeggio
40
clpsmt-miniKanren
35
metamk
31
play-js-validation
30
lms-verify
30
lms-black
28
leanTAP
26
lambdajam
24
dafny-sandbox
21
clpset-miniKanren
20
reflection-schemes
20
lms-sandbox
19
paip
17
minikanren-confo
17
grk2clj
17
lua
16
linkrev
15
blond
15
TAPL-in-miniKanren-cKanren-core.logic
14
reflective-towers
14
spots
13
mk-on-smt
13
3-proto-lisp
13
rop
13
lambda-cube
12
lisp-variations
10
scala
10
lambda-calculus
9
icfp2017-artifact-auas7pp
9
higher-rank
9
black
9
abi
9
relaxed-machines
9
scala-proxy
8
steps
7
brown
7
Communication-Bootstrapping-v1
6
sav
6