Pinned Loading

1. verified_compiler verified_compiler Public

   verified compiler for lisp like language w/ let-bound values (wip)

   Lean 1

2. camp_opt camp_opt Public

   model of CAMP optimizations in Lean

   Lean

3. cn cn Public

   Forked from rems-project/cn

   CN separation logic refinement type system for C

   OCaml

4. hegel-core hegel-core Public

   Forked from hegeldev/hegel-core

   Universal property-based testing protocol, built on Hypothesis

   Python

5. tursodatabase/turso tursodatabase/turso Public

   Turso is an in-process SQL database, compatible with SQLite.

   Rust 18k 817

6. hegel-rust hegel-rust Public

   Forked from hegeldev/hegel-rust

   Property-based testing for Rust, built on Hypothesis

   Rust