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☆23Mar 30, 2026Updated last month
- tuimorphic choose-your-own-adventure story game☆19Apr 26, 2026Updated last week
- Get ranks of popular reddit bots☆13Dec 22, 2023Updated 2 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14Mar 12, 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.
- Code for experiments on self-prediction as a way to measure introspection in LLMs☆16Dec 10, 2024Updated last year
- Experimental LLM interface exploring new ways to use AI to improve human thinking☆20Apr 13, 2026Updated 2 weeks ago
- ☆12Jan 10, 2026Updated 3 months ago
- A certified Sudoku solver in Coq [maintainers=@siraben,@thery]☆19Nov 14, 2022Updated 3 years ago
- Collection of tools, guides and other resources for the Unity game engine and related topics.☆15Jun 7, 2019Updated 6 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 6 years ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆16Mar 19, 2026Updated last month
- Tool for suggesting lemma names in Coq verification projects☆22Sep 6, 2022Updated 3 years ago
- ☆16Mar 22, 2025Updated last year
- 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.
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 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
- Ruby code to access Microsoft's Ngram data☆20Apr 12, 2012Updated 14 years ago
- A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi,@lweqx,@MysaaJava]☆28Apr 13, 2026Updated 2 weeks ago
- A simple tetris clone☆26Aug 29, 2022Updated 3 years ago
- Fully on-chain, procedurally generated, animated solar systems.☆13Mar 24, 2024Updated 2 years ago
- Automatically turn your handwritten journal entries into a website using GPT3 OCR python and html☆13Dec 15, 2021Updated 4 years ago
- Quality of life improvements for the Astral Codex Ten blog on Substack☆20Feb 2, 2026Updated 3 months ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up at…☆26Jun 30, 2023Updated 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.
- 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 last year
- Extract emoji into differents format and differents style from official Unicode website.☆16Jan 20, 2018Updated 8 years ago
- rnsh is a command-line utility written in Python that facilitates shell sessions over Reticulum networks and aims to provide a similar ex…☆17Updated this week
- Javascript implementation of the Reticulum Network Stack☆22Feb 10, 2025Updated last year
- cryptoeconomics for gamers☆19Mar 24, 2022Updated 4 years ago
- A scratch space for notes, links, reminders, and whatever else you want to keep around☆10Apr 29, 2023Updated 3 years ago
- ☆15Jan 22, 2018Updated 8 years ago
- ☆10Jul 5, 2022Updated 3 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.
- ☆11Jan 4, 2023Updated 3 years ago
- Kubernetes Fundamentals Book☆14Feb 5, 2019Updated 7 years ago
- A collaborative research platform for resources on natural language texts☆15Updated this week
- Debian package manager☆16Aug 29, 2009Updated 16 years ago
- Class instances for Coq inductive types with little boilerplate☆27Updated this week
- Write-ups and content for Curta puzzles, problems, etc.☆14Mar 25, 2024Updated 2 years ago
- DEX Meta-Aggregator☆31Apr 23, 2026Updated last week