Pinned Loading

1. pm-os pm-os Public

   A CLI-native operating system for Product Managers who own outcomes, not tasks. Built on Claude Code and the Extreme Ownership mindset.

2. ocaml-provers ocaml-provers Public

   Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

   OCaml

3. atlanhq/lakehouse-solutions atlanhq/lakehouse-solutions Public

   We are building a Gold layer on top of the Lakehouse architecture. This repository contains the documentation and SQL scripts needed to deploy the Gold layer on customer-managed compute platforms (…

   Python 2 1

4. spotify-top-songs spotify-top-songs Public

   Create a Spotify playlist with your top 100 songs

   Python 1

5. projectnessie/nessie projectnessie/nessie Public

   Nessie: Transactional Catalog for Data Lakes with Git-like semantics

   Java 1.5k 197

6. yarb yarb Public

   Yet Another Redis-backed Bloom filter

   Python