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☆24May 19, 2023Updated 3 years ago
- Python client library for Elitech data loggers☆14May 23, 2025Updated last year
- epsilon machines and transformers!☆37Apr 16, 2026Updated 2 months ago
- This repository aims to port Regolith-Desktop to Nixos [WIP yet Usable]☆12Jun 13, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- React-based reader and editor for creating notes and flashcards directly from PDF documents.☆16Apr 23, 2024Updated 2 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Donations list website (DLW): a repository for keeping track of public donations by some people I (arbitrarily) decide to track☆20Jun 14, 2026Updated 2 weeks ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- Espanso package to easy get dates like: today, yesterday, last friday, 1-st day of last month, etc.☆15Sep 29, 2022Updated 3 years ago
- Convert Todoist projects into Org mode files☆15May 22, 2024Updated 2 years ago
- get a debian-based system set up the way I like it, with minimal effort on my part☆17Apr 20, 2025Updated last year
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- An interpretability library for pytorch☆13Dec 31, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- 🤖 Automatically update your Dotbot config file when you add files in Git.☆18Oct 19, 2016Updated 9 years ago
- Tracking and Data Analysis of Your Writings or Plaintext Notes with Git, Bash and Python☆21Feb 25, 2019Updated 7 years ago
- The public Regolith website.☆16Apr 8, 2026Updated 2 months ago
- ☆26May 29, 2024Updated 2 years ago
- Utility for adding archive.org links to markdown files in the format [...](original link) ([a](archive.org link))☆22Aug 6, 2025Updated 10 months ago
- Generate Anki cards for stenography chords and outlines with diagrams from a text file representing the entries.☆20Jan 30, 2024Updated 2 years ago
- A python implementation of the nobel prize winning matching algorithm.☆11Nov 22, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Make monorepos with Nix flakes☆21May 25, 2022Updated 4 years ago
- Anki card template for memorizing keyboard shotcuts☆20Jun 13, 2022Updated 4 years ago
- An Unofficial CLI client for https://notion.so extending the functionality of their product.☆29Apr 15, 2020Updated 6 years ago
- The EMP Jammer is an innovative jamming device which jams the devices nearby by inducing an alternating voltage in it .☆13Jan 3, 2023Updated 3 years ago
- Anki addon for reviewing with mouse☆11Dec 7, 2025Updated 6 months ago
- Clojure library for creating test data☆19Dec 3, 2016Updated 9 years ago
- ☆18Jul 20, 2023Updated 2 years ago
- Repository for LambdaConf 2018 and related material.☆23Dec 4, 2018Updated 7 years ago
- A library for mechanistic anomaly detection☆22Jan 9, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆10Feb 9, 2026Updated 4 months ago
- ☆14Jun 26, 2026Updated last week
- Minimal Pairs scraping/anki deck creation☆10Dec 8, 2022Updated 3 years ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆25Updated this week
- Script to implement a history of the seen approach for some news sites.☆12Jun 10, 2015Updated 11 years ago
- Accompanying codebase for neuroscope.io, a website for displaying max activating dataset examples for language model neurons☆14Feb 13, 2023Updated 3 years ago
- Honeycomb's OpenTelemetry Java SDK distribution. This repo will be archived on August 12, 2025.☆20Aug 13, 2025Updated 10 months ago