Pinned Repositories
racket
The Racket repository
racket-cas
Simple computer algebra system
racket-gui-easy
Declarative GUIs in Racket.
racket-langserver
racket-peg-ee
racket-tw.github.io
racket taiwan site
rackt
An ultrasmall (~70 loc) React wrapper written in RacketScript
refinedt
Refined types + dependent types = ❤️
syntax-extension
An extension of syntax module
try-goblins
Try library: goblins
Racket Taiwan's Repositories
racket-tw/racket-tw.github.io
racket taiwan site
racket-tw/try-goblins
Try library: goblins
racket-tw/bindingspec
racket-tw/debug
a racket lang-extension for debugging, and a macro for inserting a debug-repl
racket-tw/magic-racket
The best coding experience for Racket in VS Code
racket-tw/pdb
Multi-file check-syntax database
racket-tw/pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
racket-tw/r16
GitHub mirror of https://git.sr.ht/~williewillus/r16. Pull Requests are not accepted here, please submit patches to the upstream mailing list.
racket-tw/racket
The Racket repository
racket-tw/racket-cas
Simple computer algebra system
racket-tw/racket-gui-easy
Declarative GUIs in Racket.
racket-tw/racket-langserver
racket-tw/racket-peg-ee
racket-tw/rackt
An ultrasmall (~70 loc) React wrapper written in RacketScript
racket-tw/refinedt
Refined types + dependent types = ❤️
racket-tw/resyntax
A Racket refactoring engine
racket-tw/rml-core
Racket Machine Learning
racket-tw/syntax-extension
An extension of syntax module
racket-tw/.github
GitHub workflow templates
racket-tw/compiler-frontend-sample
The sample that demonstrates how to use megaparsack, srcloc, and nanopass to build a compiler frontend
racket-tw/cross-editor-syntax-highlighter
cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnf
racket-tw/disassemble
Disassembler for Racket
racket-tw/drracket
DrRacket, IDE for Racket
racket-tw/imin
A nanopass compiler for (a subset of) Racket -> x86-64, implemented in Racket
racket-tw/j-bob
racket-tw/macro-as-type
Show how to use macro as type system
racket-tw/macrotypes
racket-tw/minitt
MiniTT in racket
racket-tw/raco-format
Indent racket files from CLI.
racket-tw/soft-contract
A prototype of soft contract verification for an untyped functional language