☆11Jun 2, 2021Updated 4 years ago
Alternatives and similar repositories for attainable-utility-preservation
Users that are interested in attainable-utility-preservation are comparing it to the libraries listed below
Sorting:
- Code for reproducing the results from the paper Avoiding Side Effects in Complex Environments☆12Jun 3, 2021Updated 4 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆20Dec 20, 2021Updated 4 years ago
- LensVM specifications and ABI definition☆12Apr 10, 2021Updated 4 years ago
- Redwood Research's transformer interpretability tools☆15Apr 15, 2022Updated 3 years ago
- ☆18Jul 25, 2024Updated last year
- ☆22Sep 9, 2021Updated 4 years ago
- Advanced Unix-style Spaced Repetition System☆27Nov 10, 2020Updated 5 years ago
- Auto-generation of Citation Graph of References in Python☆28Jan 4, 2021Updated 5 years ago
- Code + data archive for "Modeling the Human Trajectory"☆29Jul 13, 2024Updated last year
- a writeup on some experiments on a sequence model for chess games☆33Jul 4, 2021Updated 4 years ago
- Web effectivethesis.com (and old version of efektivni-altruismus.cz)☆10Feb 22, 2022Updated 4 years ago
- Repository containing Anki Flashcards & source code to hopefully learn/revise any language☆11Jan 30, 2026Updated last month
- Code for the paper, "Learning Human Objectives by Evaluating Hypothetical Behavior"☆84Dec 13, 2019Updated 6 years ago
- World Models with A3C on Carracing-v0 in gym☆32Mar 29, 2020Updated 5 years ago
- Topic modelling and co-occurrence analysis of the bio-economy☆10Jul 17, 2017Updated 8 years ago
- Where I keep my config files for other to look at and use☆12May 27, 2021Updated 4 years ago
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- 🧬 an evolving design philosophy (masquerading as a color scheme)☆11Dec 8, 2025Updated 3 months ago
- Literate Python package development with Jupyter☆12Aug 18, 2025Updated 6 months ago
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- ☆13Jul 20, 2023Updated 2 years ago
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- ☆11Nov 27, 2022Updated 3 years ago
- Predict stocks of S&P 500 with machine learning☆11Oct 18, 2017Updated 8 years ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- ☆13Updated this week
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- A metric learning method to learn a provably robust Mahalanobis distance☆10Jan 29, 2022Updated 4 years ago
- ☆16Jun 9, 2024Updated last year
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- org-exobrain. A knowledge management system inspired by zettlekasten, wikis, and all that's great about org-mode.☆11Sep 18, 2025Updated 5 months ago
- ☆11Aug 17, 2023Updated 2 years ago
- Telegram bot and webapp to bookmark conversations☆14Dec 10, 2022Updated 3 years ago
- CNN Image Retrieval Model Weights Ported☆12Jun 2, 2018Updated 7 years ago
- Code to accompany plotter videos on my YouTube channel☆11Oct 9, 2021Updated 4 years ago
- ☆10Sep 26, 2024Updated last year
- Background materials for the article "Productivity Assessment of Neural Code Completion"☆13Jul 11, 2023Updated 2 years ago
- Monorepo for Svelte components packages☆12Apr 2, 2025Updated 11 months ago