A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
☆20Dec 20, 2021Updated 4 years ago
Alternatives and similar repositories for cartesian-frames
Users that are interested in cartesian-frames are comparing it to the libraries listed below
Sorting:
- ☆11Jun 2, 2021Updated 4 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Jul 28, 2018Updated 7 years ago
- ☆22Sep 9, 2021Updated 4 years ago
- Experiments in applying interpretability techniques to learned reward functions.☆10Dec 11, 2020Updated 5 years ago
- Einsum with einops style variable names☆18May 16, 2024Updated last year
- ☆22Jan 14, 2026Updated last month
- A program with no practical utility☆23Mar 15, 2016Updated 9 years ago
- Submissions for AI and Efficiency SOTA's☆56Jun 1, 2020Updated 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☆32Jul 4, 2021Updated 4 years ago
- upbit-api on rust☆11May 28, 2025Updated 9 months ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Repository containing Anki Flashcards & source code to hopefully learn/revise any language☆11Jan 30, 2026Updated last month
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- Where I keep my config files for other to look at and use☆12May 27, 2021Updated 4 years ago
- 🦞 A curated list of Molt ecosystem services, platforms, and tools for AI agents — Moltbook, MoltCities, Molthunt, MoltMatch, and more.☆26Updated this week
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- A Cython library to solve the Bittensor registration POW on CUDA☆15Aug 15, 2025Updated 6 months ago
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- 🧬 an evolving design philosophy (masquerading as a color scheme)☆11Dec 8, 2025Updated 2 months ago
- Harmonic Datasets☆52Jul 12, 2024Updated last year
- An experiment in improving node packaging for nix. Dead simple.☆43Sep 4, 2024Updated last year
- Formalizing stochastic doubly-efficient debate☆118Oct 8, 2024Updated last year
- bonfire monorepo☆11Aug 30, 2023Updated 2 years ago
- bash loop to run tasks in the background. used as an anacron alternative☆13Nov 12, 2024Updated last year
- Colored pencil or highlighter to use in Neovim☆10Feb 8, 2025Updated last year
- ☆13Feb 18, 2026Updated last week
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- ☆11Jun 24, 2021Updated 4 years ago
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- Relay support for Zed☆10Sep 25, 2025Updated 5 months ago
- ☆10Sep 26, 2024Updated last year
- org-exobrain. A knowledge management system inspired by zettlekasten, wikis, and all that's great about org-mode.☆11Sep 18, 2025Updated 5 months ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Code for reproducing the results from the paper Avoiding Side Effects in Complex Environments☆12Jun 3, 2021Updated 4 years ago
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- This network estimation procedure combines l1-regularized logistic regression with model selection based on the Extended Bayesian Informa…☆10Oct 12, 2023Updated 2 years ago