Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
☆45Dec 12, 2025Updated 4 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☆56Feb 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
- Handy Alfred workflow for interacting with Joplin☆12Jun 17, 2020Updated 5 years ago
- Zim Wiki mode for emacs -- an extention of dokuwiki mode☆19Aug 24, 2025Updated 7 months ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 8 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An interactive Agda tutorial☆21Apr 12, 2026Updated last 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
- The share to diaspora* application☆18Apr 18, 2022Updated 4 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆21Jan 24, 2022Updated 4 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
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 4 months 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.
- # A simple variable binding library based on well-scoped indices and environments☆32Updated this week
- My emacs config, now public!☆18Jan 5, 2014Updated 12 years ago
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated 9 months ago
- Implementing serverless reading lists for project gutenberg site☆14Sep 16, 2021Updated 4 years ago
- A python implementation of the nobel prize winning matching algorithm.☆10Nov 22, 2023Updated 2 years ago
- An alternative frontend for LessWrong 2.0☆79Apr 11, 2026Updated last week
- Proof of concept extension of sendme to use global content discovery☆22Jan 17, 2025Updated last year
- AI Wargamer and Global Risk Simulator☆13Apr 21, 2025Updated 11 months ago
- UrSR: Urbit Speech Recognition☆16Nov 24, 2021Updated 4 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.
- NixCon 2020 talk about Nix flakes☆18Oct 15, 2020Updated 5 years ago
- It's just an issue tracker, let's use github, the service I actually have been paying for for the past few years. I need to get my money'…☆10Apr 21, 2024Updated last year
- Automation scripts to get you quickly up and running and then manage a cloud-hosted Urbit☆10Oct 6, 2020Updated 5 years ago
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆19Apr 13, 2026Updated last week
- ☆23Apr 13, 2026Updated last week
- Sublime Text 3 plugin to add wiki-style links between notes☆11Nov 11, 2015Updated 10 years ago
- tuimorphic choose-your-own-adventure story game☆19Updated this week
- ☆18Jul 20, 2023Updated 2 years ago
- %tell, an app for urbit sponsors to DM all their sponsees at once☆14May 23, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A script I use for synchronizing directories and ZFS pools between systems☆24Mar 30, 2026Updated 3 weeks ago
- Hoon and You - An FP Perspective☆10Oct 18, 2018Updated 7 years ago
- An Atom package for creating a zettelkasten style wiki. Should be used with my Academic-Markdown syntax file☆12Jun 3, 2021Updated 4 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆33Mar 29, 2026Updated 3 weeks ago
- Build system for OpenCore (and theoretically anything else)☆18Jan 20, 2020Updated 6 years ago
- 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☆15Apr 4, 2026Updated 2 weeks ago