Compare objects and check if they are equal according to a recursive equality algorithm. Similiar to NodeJS core module deepEqual in loose mode
No description provided.
Embedded in-place B+ tree storage engine with WAL, per-table concurrency, secondary indexes, lazy row decoding, and optional AES-256-GCM encryption and vector search. Powers the storage tier of the Boogy serverless platform (https://boogy.ai).
An API for constructing and verifying Boogie programs.
Move prover Boogie backend
A library for parsing and analysing SMT traces.
An EventStore administration tool
Official Image-Charts.com API client library
My parerser for education purpose.