sorawee's repositories
pretty-expressive-ocaml
An implementation of "A Pretty Expressive Printer" in OCaml
pretty-expressive
An implementation of "A Pretty Expressive Printer" in Racket
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”.
ChezScheme
Chez Scheme
circom
zkSnark circuit compiler
citra
A Nintendo 3DS Emulator
doom-emacs
An Emacs framework for the stubborn martian hacker
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
Picus
Automated verification of uniqueness property for ZKP circuits
pyret-docs
The documentation for Pyret.
racket2-rfcs
RFCs for Racket 2 design
Reef
Reef: A zkSNARK system for proving that a committed document matches a regex
typed-racket
Typed Racket