Explore Projects

Discover 63 open source projects

Active filters (1):

Search: correct×

Showing 61-63 of 63 projects

A library for writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+.

1.1K

Archived

TLA

API Frameworks

Testing

Rust

#distributed#lock-free#model-checking

HyperLogLog data structure library with space-efficient sparse and LogLog-Beta implementations.

1.0K

Stable

Data Structures

Libraries

#hyperloglog#data-structures#go

An open-source Python library for fast and accurate OMR sheet evaluation using scanners or mobile cameras.

1.0K

Active

Python

API Frameworks

ORMs & Query Builders

#document-scanner#image-processing#mcq

Get weekly updates on trending AI coding tools and projects.