Pycea / ACX-tweaks
Quality of life improvements for the Astral Codex Ten blog on Substack
☆16Updated last year
Alternatives and similar repositories for ACX-tweaks:
Users that are interested in ACX-tweaks are comparing it to the libraries listed below
- An alternative frontend for LessWrong 2.0☆65Updated this week
- SuperStop☆21Updated 4 years ago
- Thoughts on adjoint, norm and such.☆167Updated 2 years ago
- https://addons.mozilla.org/en-US/firefox/addon/export-tabs-urls-and-titles/☆129Updated 11 months ago
- Dyalog APL Extended☆28Updated 9 months ago
- Advanced Tab Manager For Firefox☆55Updated 2 weeks ago
- A relational interpretation of Lojban☆33Updated 3 weeks ago
- A fortune-formatted list of Oblique Strategies☆60Updated 4 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 4 months ago
- Python API client for Manifold Markets☆15Updated 2 years ago
- Autosolver for Opus Magnum puzzles☆63Updated 3 months ago
- Create an EPUB from a list of URLs. Standing on the shoulders of Wget, Readability and Pandoc.☆198Updated 8 months ago
- A program with no practical utility☆24Updated 8 years ago
- A browser extension that redirects Twitter links to Nitter instead.☆176Updated 8 months ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- Dyalog APL ←→ Python interface☆78Updated last month
- The Principia Rewrite☆213Updated 3 weeks ago
- EA Forum Reader: a fast and JavaScript-free way to browse the Effective Altruism Forum (and LessWrong 2.0)☆12Updated 2 years ago
- nuTensor: Point and click matrix to filter net requests according to source, destination and type☆158Updated 3 years ago
- A math language for dimensional analysis☆22Updated last year
- RSVP for browsers☆142Updated this week
- Accelerated machine learning with dependent types☆87Updated last week
- Algorithmic Information Theory, using Binary Lambda Calculus☆141Updated last month
- A free and opensource platform for studying the artificial language Lojban.☆83Updated 3 months ago
- Lojban Bible☆22Updated 3 years ago
- Textbook on metalogic based on the Open Logic Project☆37Updated last year
- Doug Lenat's EURISKO from SAIL archives circa 1981☆55Updated 7 months ago
- tool for creating and sharing annotations, using github for storage and social network☆88Updated 3 years ago
- A file-based mirror of the nLab wiki (HTML format).☆23Updated this week
- A textbook for Conway's Game of Life.☆33Updated 2 years ago