218 Repositories
simple-tracing-jit
6
sav
6
refl-instr
6
mcts-for-llm
6
Communication-Bootstrapping-v1
6
torch-demos
5
scheme-mechanics
5
prolog-reversible-interpreter
5
neoflix-scala
5
hallucinations
5
GETFOL
5
feel2
5
scalding-commoncrawl
4
MusicalBubbles
4
modmod
4
lms-regexp
4
feel
4
faster-miniKanren
4
eurisclo
4
core.logic
4
spark
3
SExp
3
lms-koika
3
excel4vivi
3
dafny-sketcher
3
.emacs.d
3
wip-scala-virtualized
2
selfopt
2
overtone
2
ott_distro
2
egg
2
dafny-mcp
2
cursor-feedback
2
collapsing-towers
2
biohacker-medikanren
2
Barliman
2
world-proverbs
1
women-in-programming-languages-research
1
scheme2017
1
relational-parsing-with-derivatives
1
redex-aam-tutorial
1
reactive-programming-scala
1
pyeurisko
1
OpenDeep
1
nfv-benchmark
1
monte-carlo-tree-search
1
MMusicScala
1
minimo
1
micado
1
metaprogramming-lecture-notes
1