Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
☆45Dec 12, 2025Updated 3 months ago
Alternatives and similar repositories for LessWrong-Portable
Users that are interested in LessWrong-Portable are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- LessWrong Ebook Library☆55Feb 13, 2023Updated 3 years ago
- linkbak is a web page archiver : it reads a list of links and dumps the corresponding pages in HTML and PDF.☆13Dec 8, 2022Updated 3 years ago
- Zim Wiki mode for emacs -- an extention of dokuwiki mode☆19Aug 24, 2025Updated 7 months ago
- Resources for teaching little kiddos about the awesome stuff of life, subject by subject.☆15Feb 15, 2021Updated 5 years ago
- Cy - Cybergraph tool, Nushell based☆21Jan 28, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A math language for dimensional analysis☆23May 19, 2023Updated 2 years ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- An interactive Agda tutorial☆20Mar 8, 2026Updated 3 weeks ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- ☆12Mar 23, 2024Updated 2 years ago
- Code to support the guide to logical induction for software engineers☆11Mar 24, 2025Updated last year
- Nix + Lean = Nale☆12Jul 16, 2023Updated 2 years ago
- Learn about the EVM, Assembly and Bytecode.☆10May 21, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Mind.Wiki is a cross platform desktop application for personal knowledge management. ETA: ??☆28Jan 31, 2023Updated 3 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 4 months ago
- # A simple variable binding library based on well-scoped indices and environments☆29Mar 19, 2026Updated last week
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated 8 months ago
- ☆10Feb 25, 2020Updated 6 years ago
- An alternative frontend for LessWrong 2.0☆78Updated this week
- Share text/file between your computer and phone☆16Nov 4, 2021Updated 4 years ago
- Proof of concept extension of sendme to use global content discovery☆22Jan 17, 2025Updated last year
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Mar 11, 2026Updated 2 weeks ago
- 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.
- NixCon 2020 talk about Nix flakes☆18Oct 15, 2020Updated 5 years ago
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Oct 6, 2020Updated 5 years ago
- tuimorphic choose-your-own-adventure story game☆18Mar 3, 2026Updated 3 weeks ago
- ☆18Jul 20, 2023Updated 2 years ago
- Python wrapper around Yuta Mori's implementation of SA-IS suffix array construction.☆12Oct 26, 2012Updated 13 years ago
- %tell, an app for urbit sponsors to DM all their sponsees at once☆14May 23, 2023Updated 2 years ago
- A reverse proxy for Urbit to utilize moons in support of a planet's or star's services.☆15Feb 24, 2023Updated 3 years ago
- Gift for Ethereum, Cosmos, Osmosis and Terra users that will maximize the initial usage of Cyber☆90Apr 1, 2023Updated 2 years ago
- Build system for OpenCore (and theoretically anything else)☆18Jan 20, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Repository for LambdaConf 2018 and related material.☆23Dec 4, 2018Updated 7 years ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Feb 18, 2026Updated last month
- The "hunter2" password manager is a simple script-oriented password manager.☆16Jun 22, 2019Updated 6 years ago
- Material for the Advanced Scientific Python Programming course, Nikiti, Greece, 2017☆14Aug 26, 2017Updated 8 years ago
- A market-making bot for Manifold's prediction markets☆44Jul 4, 2024Updated last year
- Repository for the book "Reignition: Nick Land's Writings (2011-)"☆32Nov 10, 2020Updated 5 years ago
- Javascript library to use Blowfish blocklists locally☆12Jan 30, 2026Updated last month