Stars
The official Github for the American Stories dataset as in {link}
Lolcate -- A comically fast way of indexing and querying your filesystem. Replaces locate / mlocate / updatedb. Written in Rust.
Trae Agent is an LLM-based agent for general purpose software engineering tasks.
Convert PDF to markdown + JSON quickly with high accuracy
🔥 The fastest and powerful Python library for Instagram Private API 2026 with HikerAPI SaaS
OCR, layout analysis, reading order, table recognition in 90+ languages
Welcome to How to CAD Almost Anything! In this repository, you'll find the workshop's slides, recordings and Solidworks files.
Parallel Computing and Scientific Machine Learning (SciML): Methods and Applications (MIT 18.337J/6.338J)
An open-access book on numpy vectorization techniques, Nicolas P. Rougier, 2017
Learn how to design systems at scale and prepare for system design interviews
Shuttle is a library for testing concurrent Rust code
Reading the linearizability paper with TLA+
A framework for distributed systems verification, with fault injection
This is the Python implementation of DistAlgo, a language for distributed algorithms.
PlusCal formulations of various solutions of the critical section problem like Lamport's Fast Mutual Exclusion algorithm or Dekker's algorithm to perform model checking on these algorithms.
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
Pluscal/TLA+ modeling of distributed systems/protocols
Dr. TLA+ series - learn an algorithm and protocol, study a specification
tlaplus / awesome-tlaplus
Forked from kaelzhang81/awesome-tlaplusA curated list of TLA+ resources.
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Distributed termination detection on a ring, due to Shmuel Safra: