Pinned Loading

1. ufmg-smite/carcara ufmg-smite/carcara Public

   Rust 40 16

2. cvc5 cvc5 Public

   Forked from cvc5/cvc5

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

   SMT

3. aoc2025 aoc2025 Public

   Gleam 1

4. rose rose Public archive

   A Penrose tiling generator written in Rust

   Rust 5