238 Repositories
inc
963
llm-verified-with-monte-carlo-tree-search
284
dot
161
io.livecode.ch
143
staged-miniKanren
139
logically
118
unsound
76
metaprogramming
75
pink
59
propagators
52
biohacker
49
metasolfeggio
43
scalogno
42
holey
38
clpsmt-miniKanren
38
lms-verify
34
lms-black
33
metamk
33
play-js-validation
30
leanTAP
28
dafny-sandbox
28
lambdajam
26
clpset-miniKanren
24
reflection-schemes
20
lms-sandbox
19
minikanren-confo
18
relaxed-machines
17
paip
17
reflective-towers
16
lua
16
linkrev
16
grk2clj
16
dafny-sketcher
16
blond
16
TAPL-in-miniKanren-cKanren-core.logic
14
rop
14
3-proto-lisp
14
spots
13
mk-on-smt
13
lambda-cube
12
lisp-variations
11
higher-rank
11
scala
10
relational-virology
10
lambda-calculus
10
icfp2017-artifact-auas7pp
10
abi
10
brown
9
black
9
steps
8