218 Repositories
inc
927
llm-verified-with-monte-carlo-tree-search
270
dot
157
io.livecode.ch
140
staged-miniKanren
129
logically
117
unsound
75
pink
56
metaprogramming
55
propagators
50
biohacker
46
scalogno
41
metasolfeggio
40
clpsmt-miniKanren
35
lms-verify
33
lms-black
32
metamk
31
play-js-validation
30
leanTAP
28
lambdajam
25
dafny-sandbox
25
clpset-miniKanren
22
reflection-schemes
20
lms-sandbox
19
paip
17
minikanren-confo
17
lua
17
grk2clj
16
reflective-towers
15
linkrev
15
holey
15
blond
15
TAPL-in-miniKanren-cKanren-core.logic
14
spots
13
rop
13
mk-on-smt
13
3-proto-lisp
13
relaxed-machines
12
lambda-cube
12
scala
10
relational-virology
10
lisp-variations
10
lambda-calculus
10
higher-rank
10
black
10
abi
10
icfp2017-artifact-auas7pp
9
scala-proxy
8
brown
8
steps
7