Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community
☆45May 18, 2026Updated last month
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:
- 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
- ☆15Jul 21, 2023Updated 2 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆19Jun 21, 2015Updated 11 years ago
- The share to diaspora* application☆18Apr 18, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆21Jan 24, 2022Updated 4 years ago
- My master thesis about generic programming and ornaments☆16Jul 5, 2016Updated 9 years ago
- Social navigator for the web☆38Oct 27, 2023Updated 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
- 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 7 months ago
- # A simple variable binding library based on well-scoped indices and environments☆32Jun 22, 2026Updated last week
- ☆13Jul 24, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Benchmarking LLM Inference Speeds☆14May 17, 2026Updated last month
- 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
- ☆11Feb 25, 2020Updated 6 years 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.☆11Nov 22, 2023Updated 2 years ago
- An alternative frontend for LessWrong 2.0☆79Jun 22, 2026Updated last week
- 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
- 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.
- ☆22Jul 18, 2024Updated last year
- Share text/file between your computer and phone☆16Nov 4, 2021Updated 4 years ago
- 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
- Iframe Splitter is a simple tool to divide computer screen into multiple sections to be displayed on TV dashboard.☆18Jun 17, 2018Updated 8 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 2 months ago
- Python wrapper around Yuta Mori's implementation of SA-IS suffix array construction.☆12Oct 26, 2012Updated 13 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.
- An Atom package for creating a zettelkasten style wiki. Should be used with my Academic-Markdown syntax file☆12Jun 3, 2021Updated 5 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
- Repository for LambdaConf 2018 and related material.☆23Dec 4, 2018Updated 7 years ago
- The "hunter2" password manager is a simple script-oriented password manager.☆16Jun 22, 2019Updated 7 years ago
- CS410 "Advanced Functional Programming"☆33Mar 25, 2026Updated 3 months ago
- Material for the Advanced Scientific Python Programming course, Nikiti, Greece, 2017☆14Aug 26, 2017Updated 8 years ago
- Tanote (tah-noh-tay) is a factious note store for Urbit, which uses tags to present subsets of notes, and sends versions of notes to othe…☆13Jul 25, 2022Updated 3 years ago