sorawee

Pinned Repositories

pyret-lang
The Pyret language.
Language:JavaScript1.1k 43 1.4k106
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket631 30 14473
racket
The Racket repository
Language:Racket4.7k 145 2.1k649
fishy-completion
A proof-of-concept completion framework for DrRacket via fishy static analysis.
Language:Racket6 3 21
fmt
A code formatter for Racket
Language:Racket72 8 495
helpful
Helpfully provide suggestions on unbound identifier error
Language:Racket6 3 00
pretty-expressive
An implementation of "A Pretty Expressive Printer" in Racket
Language:Racket15 2 01
pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
Language:OCaml22 2 10
racket-analysis
Analysis of Racket code base
Language:Racket140
recursive-language
A language for writing recursive functions
Language:Racket9 5 10

sorawee's Repositories

sorawee/fmt
A code formatter for Racket
Language:Racket72 8 495
sorawee/pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
Language:OCaml22 2 10
sorawee/pretty-expressive
An implementation of "A Pretty Expressive Printer" in Racket
Language:Racket15 2 01
sorawee/pretty-expressive-oopsla23-artifact
Language:Common Lisp1
sorawee/ChezScheme
Chez Scheme
Language:Scheme1 0
sorawee/circom
zkSnark circuit compiler
sorawee/citra
A Nintendo 3DS Emulator
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/doom-emacs
An Emacs framework for the stubborn martian hacker
Language:Emacs Lisp2 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/mdx
Execute code blocks inside your documentation
Language:OCaml1 0
sorawee/ocaml
The core OCaml system: compilers, runtime system, base libraries
sorawee/odoc
Documentation compiler for OCaml and Reason
Language:OCaml1 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:Circom
sorawee/plot
Language:Racket1 0
sorawee/racket
The Racket repository
Language:Scheme3 0
sorawee/racket-lang-org
Language:Racket2 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