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