238 Repositories
scala-proxy
8
mcts-for-llm
8
LeanDisco
8
GETFOL
8
prolog-reversible-interpreter
7
argir
7
simple-tracing-jit
6
sav
6
refl-instr
6
feel2
6
eurisclo
6
Communication-Bootstrapping-v1
6
argument-debugger
6
torch-demos
5
scheme-mechanics
5
neoflix-scala
5
modmod
5
lms-koika
5
hallucinations
5
feel
5
scalding-commoncrawl
4
MusicalBubbles
4
metaprogramming-lecture-notes
4
lms-regexp
4
faster-miniKanren
4
.emacs.d
4
spark
3
SExp
3
selfopt
3
LeanSketcher
3
lean-rank
3
excel4vivi
3
core.logic
3
wip-scala-virtualized
2
pyeurisko
2
overtone
2
ott_distro
2
KG_RAG
2
egg
2
dafny-mcp
2
world-proverbs
1
women-in-programming-languages-research
1
twitter-x-video-blocker
1
scholey
1
scheme2017
1
relational-parsing-with-derivatives
1
redex-aam-tutorial
1
reactive-programming-scala
1
OpenDeep
1
ocaml-fun
1