Anki deck: Some key numbers that every effective altruist should know.
☆26Jul 17, 2023Updated 2 years ago
Alternatives and similar repositories for EA-numbers
Users that are interested in EA-numbers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Effective Altruism data visualiser. Deployed at https://effectivealtruismdata.com☆16Oct 16, 2022Updated 3 years ago
- A math language for dimensional analysis☆23May 19, 2023Updated 2 years ago
- This monorepo covers multiple QURI projects, including Squiggle language, Squiggle Hub and Metaforecast☆209Mar 23, 2026Updated 3 weeks ago
- EA Forum☆12Feb 1, 2018Updated 8 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The development repository for LessWrong2 and the EA Forum, based on Vulcan JS☆700Updated this week
- ☆15Jul 21, 2023Updated 2 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆12Mar 23, 2024Updated 2 years ago
- Testing language concurrency primitives with a file line counter☆11Oct 5, 2018Updated 7 years ago
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- ☆13Jul 24, 2021Updated 4 years ago
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- HTML Cleaner Add-on for Anki☆23Jun 25, 2020Updated 5 years ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆21Aug 6, 2025Updated 8 months ago
- Anki card template for memorizing keyboard shotcuts☆21Jun 13, 2022Updated 3 years ago
- Anki addon for reviewing with mouse☆11Dec 7, 2025Updated 4 months ago
- Anki: Alternative Front End Using QtWebkit☆12Jan 10, 2022Updated 4 years ago
- The most popular Flathub apps sorted by downloads with interactive search and daily updates☆10May 31, 2025Updated 10 months ago
- This is a greasyMonkey userscript for rapidly using chatGPT in Google & Bing & Baidu☆13Jul 4, 2023Updated 2 years ago
- ☆10Feb 9, 2026Updated 2 months ago
- Turn each card of an anki collection into easily searchable txt files☆12Dec 16, 2025Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Updated this week
- Anki 2.1.20+ add-on to adjust the sound volume☆11Jan 3, 2024Updated 2 years ago
- Script to implement a history of the seen approach for some news sites.☆12Jun 10, 2015Updated 10 years ago
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆13Feb 13, 2023Updated 3 years ago
- Backstage plugins collections for dotnet☆15Mar 26, 2023Updated 3 years ago
- KeePass2 Plugin for authentication with german Personalausweis☆11Aug 4, 2021Updated 4 years ago
- How accurate are prediction markets?☆32Apr 3, 2026Updated last week
- ☆35Jul 14, 2023Updated 2 years ago
- Search for gitmoji and copy them to your clipboard☆16Jan 15, 2023Updated 3 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Das erste Legal Tech Lehrbuch - open source, kostenfrei, für alle☆13Sep 28, 2019Updated 6 years ago
- KeePass2 plugin to open BitLocker volumes☆15Dec 4, 2024Updated last year
- ☆10May 25, 2025Updated 10 months ago
- plugin to check spacing between sentences☆10Sep 10, 2023Updated 2 years ago
- Convert a Drupal database to Markdown files☆14Sep 30, 2015Updated 10 years ago
- Allow to postpone every reviews☆13Apr 15, 2023Updated 3 years ago
- Earth Sciences and Paleobiology Interest Group☆14Dec 4, 2025Updated 4 months ago