Pinned Repositories
pyret-lang
The Pyret language.
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
racket
The Racket repository
fishy-completion
A proof-of-concept completion framework for DrRacket via fishy static analysis.
fmt
A code formatter for Racket
helpful
Helpfully provide suggestions on unbound identifier error
pretty-expressive
An implementation of "A Pretty Expressive Printer" in Racket
pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
racket-analysis
Analysis of Racket code base
recursive-language
A language for writing recursive functions
sorawee's Repositories
sorawee/rfmt
R source code formatter
sorawee/pprint-compact
An expressive and optimal pretty printer
sorawee/tricks
A collection of my Racket Discord tricks
sorawee/debug
a racket lang-extension for debugging, and a macro for inserting a debug-repl
sorawee/UWThesis
Class file for University of Washington thesis formatting with LaTeX.
sorawee/relational-ematching-benchmark
sorawee/pareto-frontier
Pareto frontier
sorawee/parendown-for-racket
A weak opening parenthesis for Racket, good for eliminating indentation.
sorawee/readtable-extra
A make-readtable drop-in replacement with an ability to yield to other tables
sorawee/evil
The extensible vi layer for Emacs.
sorawee/colors
A hsi/l/v color library for Racket
sorawee/monkeys-demo
sorawee/racket-variadic-curry
sorawee/official-website
sorawee/dynamic-ffi
Auto define Racket bindings to C by parsing header files.
sorawee/doc-gen
Generate HTML documentation for mathlib and Lean
sorawee/test-tenth
sorawee/JoyMapperSilicon
Nintendo Joy-Con / Pro Controller Mapper for Apple silicon
sorawee/fast-parameterize
Experiment on different ways to make parameterization faster
sorawee/notes
Notes on what I recently learned
sorawee/racket-mode
GNU Emacs major modes for Racket: Edit and REPL.
sorawee/racket-review
A linter for Racket.
sorawee/string-constants
sorawee/racket-analysis
Analysis of Racket code base
sorawee/project-ideas
sorawee/find-expr
sorawee/fishy-completion
A proof-of-concept completion framework for DrRacket via fishy static analysis.
sorawee/lispyville
lispy + evil = lispyville
sorawee/readline-gpl-libs
Binaries for readline-gpl
sorawee/sequence-extra
An extension of racket/sequence