T(yped)Rack(et) is an experimental in-progress type-checker/compiler I'm writing for the racket language. Help is appreciated in any of the following domains:

• Compiler formatting
• Any enhancement to the codebas
• Environment definitions (e.g. language packs & imported libraries)
• Test suites

• Racket-huh Executes Racket code in browser within embeds.