Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
☆48May 18, 2026Updated 2 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☆59Feb 13, 2023Updated 3 years ago
- Simple (fast) transformer inference in PyTorch with torch.compile + lit-llama code☆11Aug 29, 2023Updated 2 years ago
- Handy Alfred workflow for interacting with Joplin☆12Jun 17, 2020Updated 6 years ago
- Cy - Cybergraph tool, Nushell based☆21Jan 28, 2025Updated last year
- A math language for dimensional analysis☆24May 19, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- node tree based loom for base model completions☆15Dec 10, 2025Updated 8 months ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- ☆15Jul 21, 2023Updated 3 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated last year
- ☆14Jul 24, 2021Updated 5 years ago
- Social navigator for the web☆38Oct 27, 2023Updated 2 years ago
- ☆12Mar 23, 2024Updated 2 years ago
- Mind.Wiki is a cross platform desktop application for personal knowledge management. ETA: ??☆29Jan 31, 2023Updated 3 years ago
- Code to support the guide to logical induction for software engineers☆11Jul 12, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Meta-programming utilities for Agda.☆24Jul 14, 2026Updated 3 weeks ago
- Benchmarking LLM Inference Speeds☆14Updated this week
- Dependently typed Algorithm M and friends☆26Jun 2, 2018Updated 8 years ago
- Organize mathematical thoughts☆21Oct 6, 2023Updated 2 years ago
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated last year
- ☆11Feb 25, 2020Updated 6 years ago
- Implementing serverless reading lists for project gutenberg site☆14Sep 16, 2021Updated 4 years ago
- An alternative frontend for LessWrong 2.0☆79Aug 5, 2026Updated last week
- Treat remote files like they exist in your memory.☆11Jan 21, 2024Updated 2 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.
- ☆22Jul 18, 2024Updated 2 years ago
- ☆44Mar 15, 2014Updated 12 years ago
- A GNU Social-compatible microblogging server https://mastodon.social PHP API☆14Jan 14, 2022Updated 4 years ago
- A python implementation of the nobel prize winning matching algorithm.☆11Nov 22, 2023Updated 2 years ago
- DACO - Decentralized autonomous charity organization☆10Dec 11, 2017Updated 8 years ago
- Make monorepos with Nix flakes☆20May 25, 2022Updated 4 years ago
- Pytorch Tutorial given to IFT6135 Representation Learning Class☆13Jan 22, 2019Updated 7 years ago
- ☆20Aug 13, 2024Updated 2 years ago
- UrSR: Urbit Speech Recognition☆16Nov 24, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- NixCon 2020 talk about Nix flakes☆18Oct 15, 2020Updated 5 years ago
- Automatically generated and up-to-date datasets for Cobalt.☆10May 16, 2020Updated 6 years ago
- Sublime Text 3 plugin to add wiki-style links between notes☆11Nov 11, 2015Updated 10 years ago
- %tell, an app for urbit sponsors to DM all their sponsees at once☆14May 23, 2023Updated 3 years ago
- ☆18Jul 20, 2023Updated 3 years ago
- A LaTeX-typeset reproduction of Reynolds' "Types, Abstraction and Parametric Polymorphism"☆35Mar 29, 2026Updated 4 months ago
- Hoon and You - An FP Perspective☆10Oct 18, 2018Updated 7 years ago