sorawee

Pinned Repositories

pyret-lang
The Pyret language.
Language:JavaScript1.1k 41 1.4k112
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket655 30 14575
racket
The Racket repository
Language:Racket4.9k 143 2.2k677
fishy-completion
A proof-of-concept completion framework for DrRacket via fishy static analysis.
Language:Racket6 4 21
fmt
A code formatter for Racket
Language:Racket79 7 668
helpful
Helpfully provide suggestions on unbound identifier error
Language:Racket6 3 00
pretty-expressive
An implementation of "A Pretty Expressive Printer" in Racket
Language:Racket27 3 11
pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
Language:OCaml25 2 10
racket-analysis
Analysis of Racket code base
Language:Racket14 4 00
recursive-language
A language for writing recursive functions
Language:Racket9 5 10

sorawee's Repositories

sorawee/fmt
A code formatter for Racket
Language:Racket79 7 668
sorawee/pretty-expressive
An implementation of "A Pretty Expressive Printer" in Racket
Language:Racket27 3 11
sorawee/pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
Language:OCaml25 2 10
sorawee/pretty-expressive-oopsla23-artifact
Language:Common Lisp2 4 0
sorawee/.doom.d
My Doom Emacs configuration
Language:Emacs Lisp2 0
sorawee/acmart
ACM consolidated LaTeX styles
Language:TeX1 0
sorawee/aws-cdk
The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code
sorawee/ChezScheme
Chez Scheme
Language:Scheme1 0
sorawee/circom
zkSnark circuit compiler
Language:WebAssembly1 0
sorawee/citra
A Nintendo 3DS Emulator
Language:C++1 0
sorawee/cloudformation-cli
The CloudFormation Provider Development Toolkit allows you to author your own resource providers and modules that can be used by CloudFormation.
Language:Python0 0
sorawee/comptime-in-lean
Language:Lean3 0
sorawee/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1 0
sorawee/drracket
DrRacket, IDE for Racket
Language:Racket2 0
sorawee/expeditor
Language:Racket1 0
sorawee/halo2-analyzer
SMT 2023 Submission; license pending
Language:Rust1 0
sorawee/math
Language:Racket2 0
sorawee/nearley
📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.
Language:JavaScript0 0
sorawee/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Language:OCaml1 0
sorawee/opam-repository
Main public package repository for opam, the source package manager of OCaml.
Language:Shell1 0
sorawee/Picus
Automated verification of uniqueness property for ZKP circuits
Language:Circom1 0
sorawee/plot
Language:Racket1 0
sorawee/racket
The Racket repository
Language:Scheme3 0
sorawee/racket2-rfcs
RFCs for Racket 2 design
2 0
sorawee/rackunit
Language:Racket3 0
sorawee/Reef
Reef: A zkSNARK system for proving that a committed document matches a regex
Language:Rust1 0
sorawee/rhombus-programs
2 0
sorawee/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket3 0
sorawee/tmp
Language:HTML2 0
sorawee/typed-racket
Typed Racket
Language:Racket2 0