256 Repositories
htmlpurifier
3347
codemcp
1613
ghstack
989
git-ftp
494
convolution-visualizer
377
logitext
153
compact
82
nvprof2json
73
cute-interactive
57
scubaduck
54
torchdbg
48
csrf-magic
44
pl-class-public
41
stride-visualizer
40
cusec2012-victor
39
thesis
38
ghc-shake
32
refined-claude-ax
30
lr-agda
30
metromaps
28
ghc-proposals
25
pytorch-unattached
21
onnx-pytorch
21
SMT-LIB-benchmarks-pytorch-shapes
18
hpd3js
17
ghc-rts-rust
15
backpack-examples
14
ldap-haskell
13
eff
13
ai-blindspots
13
HoTT-coqex
12
spmd_types
11
hamt
11
ocaml-cminsketch
10
hsleak
10
deepseq-magic
10
ghinbox
9
ghc-usage
9
ghc-plugin-template
9
claude-logbook
9
cabal
9
stenomatic
8
reflex-backpack
8
jfp-ghc-rts
8
backpack-regex-example
8
tmr-issue24
7
scheme-hamt
7
coq
7
tmr-issue20
6
stg-spec
6