Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
☆45May 18, 2026Updated 3 weeks 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☆57Feb 13, 2023Updated 3 years ago
- Simple (fast) transformer inference in PyTorch with torch.compile + lit-llama code☆10Aug 29, 2023Updated 2 years ago
- Graph-Enhanced Singular Adaptive Learning (GESAL)☆25Mar 24, 2025Updated last year
- Cy - Cybergraph tool, Nushell based☆21Jan 28, 2025Updated last year
- An interactive Agda tutorial☆21May 29, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆15Jul 21, 2023Updated 2 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 10 years ago
- being the emperor of Mongo, but also a verb☆15Dec 25, 2018Updated 7 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆21Jan 24, 2022Updated 4 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 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
- My emacs config, now public!☆18Jan 5, 2014Updated 12 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a high-quality, GPU-accelerated image resizer☆15Mar 6, 2025Updated last year
- Organize mathematical thoughts☆20Oct 6, 2023Updated 2 years ago
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 8 years ago
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated 11 months ago
- A python implementation of the nobel prize winning matching algorithm.☆10Nov 22, 2023Updated 2 years ago
- A GNU Social-compatible microblogging server https://mastodon.social PHP API☆14Jan 14, 2022Updated 4 years ago
- An alternative frontend for LessWrong 2.0☆79May 29, 2026Updated 2 weeks ago
- Advent of Code 2021 in 25 different languages, alphabet soup edition☆14Dec 25, 2021Updated 4 years ago
- Make monorepos with Nix flakes☆21May 25, 2022Updated 4 years 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.
- 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
- AI Wargamer and Global Risk Simulator☆13Apr 21, 2025Updated last year
- being the materials for "Datatypes of Datatypes" at the Summer School on Generic and Effectful Programming, Oxford☆21Jul 10, 2015Updated 10 years ago
- ☆20Aug 13, 2024Updated last year
- UrSR: Urbit Speech Recognition☆16Nov 24, 2021Updated 4 years ago
- 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
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆20Apr 13, 2026Updated last month
- 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.
- Automatically generated and up-to-date datasets for Cobalt.☆10May 16, 2020Updated 6 years ago
- %tell, an app for urbit sponsors to DM all their sponsees at once☆14May 23, 2023Updated 3 years ago
- A script I use for synchronizing directories and ZFS pools between systems☆23Apr 29, 2026Updated last month
- Hoon and You - An FP Perspective☆10Oct 18, 2018Updated 7 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
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆16Apr 4, 2026Updated 2 months ago
- The "hunter2" password manager is a simple script-oriented password manager.☆16Jun 22, 2019Updated 6 years ago