LessWrong Ebook Library
☆56Feb 13, 2023Updated 3 years ago
Alternatives and similar repositories for lesswrong_ebook_library
Users that are interested in lesswrong_ebook_library are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Print and ebook friendly versions of lesswrong.com sequences☆33Mar 16, 2011Updated 15 years ago
- Stampy's copy of Alignment Research Dataset scraper☆24May 12, 2026Updated last week
- The Knowledge Graph is tool for organizing and sharing your knowledge online. Use it to keep track of what you have learned and share you…☆15Feb 28, 2023Updated 3 years ago
- tuimorphic choose-your-own-adventure story game☆20Apr 30, 2026Updated 3 weeks ago
- Verified Extraction from Rocq to OCaml/Malfunction☆15Mar 12, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆20Apr 13, 2026Updated last month
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Nov 14, 2022Updated 3 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆17Mar 19, 2026Updated 2 months ago
- a high-quality, GPU-accelerated image resizer☆14Mar 6, 2025Updated last year
- Benchmark to estimate model sycophancy☆27Nov 30, 2025Updated 5 months ago
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated 3 months ago
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- Mutation analysis tool for Coq verification projects☆30Oct 13, 2020Updated 5 years ago
- An index of formal complaint systems☆17Aug 23, 2018Updated 7 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.
- cli loom that uses git to manage branches☆33Jan 3, 2025Updated last year
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Apr 13, 2026Updated last month
- Proof of concept extension of sendme to use global content discovery☆22Jan 17, 2025Updated last year
- We live in a colorful world, but how much do you really know about color? You eyes may deceive you, while the sensors don’t lie. This AS7…☆12Jan 20, 2022Updated 4 years ago
- Iframe Splitter is a simple tool to divide computer screen into multiple sections to be displayed on TV dashboard.☆18Jun 17, 2018Updated 7 years ago
- ☆37Jul 14, 2023Updated 2 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆25Jan 3, 2025Updated last year
- This code is providing a Nice and clean daynamic mega menu for shopify 2.0 theme, specificly dawn☆11Nov 15, 2022Updated 3 years ago
- Fully on-chain, procedurally generated, animated solar systems.☆13Mar 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Integrated MALware Simulator and Emulator☆13Dec 10, 2013Updated 12 years ago
- An eclipse plugin for TDD automated recognition based on Zorro☆14Jan 18, 2018Updated 8 years ago
- Pin any tweet your Twitter profile.☆18May 15, 2024Updated 2 years ago
- A YAML-based tree-format for SKOS concept schemes☆21Feb 21, 2026Updated 3 months ago
- Fast-paced hack sessions focused on play, exploration, and the rapid acquisition of skills.☆13Dec 2, 2016Updated 9 years ago
- This is a blender file containing a number of design tools using Blender's Geometry Nodes. Also included are two addons to import an airf…☆16Apr 5, 2024Updated 2 years ago
- A forum for the NomadNetwork☆18May 8, 2026Updated 2 weeks ago
- Javascript implementation of the Reticulum Network Stack☆22Feb 10, 2025Updated last year
- A scratch space for notes, links, reminders, and whatever else you want to keep around☆10Apr 29, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆15Jan 22, 2018Updated 8 years ago
- A living resource to help developers get started with assemblyscript.☆15Feb 26, 2022Updated 4 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Class instances for Coq inductive types with little boilerplate☆27May 7, 2026Updated 2 weeks ago
- Debian package manager☆16Aug 29, 2009Updated 16 years ago
- Challenges for the GRCon 2022 CTF☆10Oct 5, 2022Updated 3 years ago
- my arch linux dotfiles☆16Jan 22, 2025Updated last year