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/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
sorawee/web-server
sorawee/parser-tools
sorawee/pyret-docs
The documentation for Pyret.
sorawee/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
sorawee/lakeroad
FPGA synthesis tool powered by program synthesis
sorawee/pretty-expressive-lean
sorawee/std4
Standard Library for Lean 4
sorawee/prettiest
The Prettiest Printer
sorawee/acmart
ACM consolidated LaTeX styles
sorawee/drracket-cmdline-args
Accessible Command-Line Arguments for DrRacket
sorawee/esterel
Esterel in Racket
sorawee/the-algorithm
Source code for Twitter's Recommendation Algorithm
sorawee/racket-dbg
A server, client and UI for remotely debugging Racket applications.
sorawee/drdr-diff
A tool to investigate timing differences between two DrDr runs
sorawee/srfi
sorawee/scribble
sorawee/racket-text-table
A simple Racket package to display text tables with utf-8 boxes
sorawee/license-audit
Audit package licenses (including their dependencies)
sorawee/plt-service-monitor
sorawee/helpful
Helpfully provide suggestions on unbound identifier error
sorawee/disassemble
Disassembler for Racket
sorawee/pict3d
3-dimensional picts
sorawee/directive
The directive protocol for Racket
sorawee/pkg-index
sorawee/errortrace
sorawee/gui
sorawee/r16sim
sorawee/raco-static-web
sorawee/version-case
Conditionally compile racket code based on version number