jwalsh/racketcon-2025
View on GitHubRacketCon 2025 experiments: Rosette verification, DNS policy DSLs (topaz-lang), compositional OOP, and 310 planned explorations of Racket language features
- Stars
- 0
- Forks
- 0
- Open beginner issues
- 0
- Indexed issues
- 44
- Dominant language
- Racket
- License
- MIT
- Last GitHub push
- Oct 6, 2025
- Latest indexed
- Sep 18, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
- PR merge metrics
- No merged PRs in 30d
-
jwalsh/racketcon-2025#1 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#2 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#3 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#4 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#5 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#6 · 0 comments · 0 reactions · 1 assignee ·
-
jwalsh/racketcon-2025#7 · 0 comments · 0 reactions · 1 assignee ·
-
jwalsh/racketcon-2025#8 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#9 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#10 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#11 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#12 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#13 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#14 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#15 · 0 comments · 0 reactions · 1 assignee ·
-
jwalsh/racketcon-2025#16 · 0 comments · 0 reactions · 1 assignee ·
-
jwalsh/racketcon-2025#17 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#18 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#19 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#20 · 0 comments · 0 reactions · 1 assignee ·
-
jwalsh/racketcon-2025#21 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#22 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#23 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#24 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#25 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#26 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#27 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#28 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#29 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#30 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#31 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#32 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#33 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#34 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#35 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#36 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#37 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#38 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#39 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#40 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#41 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#42 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#43 · 0 comments · 0 reactions · 0 assignees ·
-
jwalsh/racketcon-2025#44 · 0 comments · 0 reactions · 0 assignees ·