sorawee's repositories

fmt

A code formatter for Racket

Language:RacketLicense:NOASSERTIONStargazers:69Issues:8Issues:47

pretty-expressive-ocaml

An implementation of "A Pretty Expressive Printer" in OCaml

Language:OCamlLicense:ISCStargazers:19Issues:0Issues:0

pretty-expressive

An implementation of "A Pretty Expressive Printer" in Racket

Language:RacketLicense:NOASSERTIONStargazers:14Issues:2Issues:0
Language:Common LispLicense:NOASSERTIONStargazers:1Issues:0Issues:0

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”.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ChezScheme

Chez Scheme

Language:SchemeLicense:Apache-2.0Stargazers:0Issues:1Issues:0

circom

zkSnark circuit compiler

License:GPL-3.0Stargazers:0Issues:0Issues:0

citra

A Nintendo 3DS Emulator

License:GPL-2.0Stargazers:0Issues:0Issues:0

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:0Issues:1Issues:0

doom-emacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispLicense:MITStargazers:0Issues:2Issues:0

lakeroad

FPGA synthesis tool powered by program synthesis

Language:RacketStargazers:0Issues:1Issues:0

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

License:MITStargazers:0Issues:0Issues:0

mdx

Execute code blocks inside your documentation

Language:OCamlLicense:ISCStargazers:0Issues:1Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

License:NOASSERTIONStargazers:0Issues:0Issues:0

odoc

Documentation compiler for OCaml and Reason

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

opam-repository

Main public package repository for opam, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:1Issues:0
Language:RacketStargazers:0Issues:1Issues:0

Picus

Automated verification of uniqueness property for ZKP circuits

Language:CircomLicense:MITStargazers:0Issues:0Issues:0
Language:RacketLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pyret-docs

The documentation for Pyret.

Language:RacketStargazers:0Issues:1Issues:0

racket

The Racket repository

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:RacketLicense:NOASSERTIONStargazers:0Issues:2Issues:0

racket2-rfcs

RFCs for Racket 2 design

License:NOASSERTIONStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:3Issues:0

Reef

Reef: A zkSNARK system for proving that a committed document matches a regex

Language:RustLicense:GPL-3.0Stargazers:0Issues:0Issues:0

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Language:RacketLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

typed-racket

Typed Racket

Language:RacketLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:RacketLicense:NOASSERTIONStargazers:0Issues:1Issues:0