Pinned Loading

1. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++

2. stg_optimization stg_optimization Public

   Repository for our IJCAI '25 paper "Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora"

   Python 2

3. lean-server lean-server Public

   Lean verification server based on Kimina server + Generating Lean annotated data for SFT and RL fine tuning

   Python 1

4. MusAssist MusAssist Public

   Repository for the MusAssist DSL/compiler (undergrad CS thesis at Pomona College)

   TeX 8

5. prism prism Public

   Forked from stoplightio/prism

   Turn any OpenAPI2/3 and Postman Collection file into an API server with mocking, transformations and validations.

   TypeScript

6. FMCAD26_Artifact FMCAD26_Artifact Public

   Artifact for FMCAD 2026 paper, "Parallel SMT Solving via Dynamic Partitioning, Core-Guided Pruning, and Backbone Detection"

   SMT