sorawee

fmt

A code formatter for Racket

pretty-expressive-ocaml

An implementation of "A Pretty Expressive Printer" in OCaml

pretty-expressive

An implementation of "A Pretty Expressive Printer" in Racket

pretty-expressive-oopsla23-artifact

acmart

ACM consolidated LaTeX styles

ChezScheme

Chez Scheme

circom

zkSnark circuit compiler

citra

A Nintendo 3DS Emulator

comptime-in-lean

cvc5

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

doom-emacs

An Emacs framework for the stubborn martian hacker

drracket

DrRacket, IDE for Racket

expeditor

halo2-analyzer

SMT 2023 Submission; license pending

math

mdx

Execute code blocks inside your documentation

odoc

Documentation compiler for OCaml and Reason

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

plot

racket

The Racket repository

racket-lang-org

racket2-rfcs

RFCs for Racket 2 design

rackunit

Reef

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

rhombus-programs

rosette

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

tmp

typed-racket

Typed Racket