Fourmula fourmula.awsum.info ↗

GameFAQs ↗Other

A website hosting user-written video game guides and FAQs.

integer-mult-bounds-lean ↗Other

A Lean formalization of sub-n log n integer multiplication bounds on Mathlib's TM2 machine model.

Paulina ↗Other

A Toolforge tool for browsing public domain works and creators using Wikidata and Wikimedia Commons.

Wiki-map ↗Other

A map displaying geotagged Wikipedia articles.

CourtListener Other

Free legal research database of court opinions.

Propane Other

A liquefied gas fuel used to run generators.

End of Term Web Archive ↗Other

A collaborative project that archives US federal government websites at the end of presidential terms.

Rugby union ↗Other

A full-contact team sport played with an oval ball.

Home Assistant ↗

Open-source home automation platform.

Delta Air Lines ↗

A major US airline.

Slate Truck ↗

A planned low-cost, no-frills American electric pickup.

All Brains Belong ↗

An organisation publishing resources on health issues comorbid with autism and ADHD.

Base Power ↗

A company that installs home batteries and acts as the customer's power provider using time-of-use arbitrage.

Ecosia ↗

A search engine that funds tree planting with its ad revenue.

HN Arcade ↗

A site collecting games shared on Hacker News.

Kagi News ↗

Kagi's aggregated news summary service.

NewPipe ↗

An open-source lightweight YouTube client for Android.

Silo ↗

An Apple TV+ dystopian science fiction series.

Star Trek: Lower Decks ↗

An animated Star Trek comedy series.

The Orville

A science-fiction TV series inspired by Star Trek.