A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
☆22Dec 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- ☆11Jun 2, 2021Updated 5 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Jul 28, 2018Updated 8 years ago
- ☆22Sep 9, 2021Updated 5 years ago
- Making a bridge between NLP models and Brain data☆19Jun 3, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- TransformerLens + HuggingFace☆11Nov 4, 2023Updated 2 years ago
- The opentheory tool processes higher order logic theory packages☆19Jun 19, 2026Updated 3 months ago
- ☆17Jun 17, 2025Updated last year
- Experiments in applying interpretability techniques to learned reward functions.☆10Dec 11, 2020Updated 5 years ago
- ☆15Apr 12, 2023Updated 3 years ago
- Code and dataset for tracing semantic changes in Russian adjectives☆13Nov 26, 2019Updated 6 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 9 years ago
- Mechanistic Interpretability for Transformer Models☆55Jun 1, 2022Updated 4 years ago
- A program with no practical utility☆23Mar 15, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15Nov 30, 2020Updated 5 years ago
- Protocols intersection for mypy☆39Oct 2, 2026Updated last week
- This repository contains code developed by the SRI team for the IARPA/TrojAI program.☆21Jul 1, 2021Updated 5 years ago
- A Parallel Russian-Simple Russian Dataset☆19Mar 30, 2023Updated 3 years ago
- A program for rendering hexahedral meshes in the form of transparent volumes.☆15May 25, 2026Updated 4 months ago
- ☆21Feb 17, 2023Updated 3 years ago
- A verified compiler for a lazy functional language☆44Oct 3, 2026Updated last week
- Implementation of the methods described in our paper "Explicit Planning Helps Language Models in Logical Reasoning"☆22Apr 12, 2023Updated 3 years ago
- Einsum with einops style variable names☆19May 16, 2024Updated 2 years ago
- 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.
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- Relay support for Zed☆10Apr 4, 2026Updated 6 months ago
- AI Journey 2019: Combined Solution☆15Dec 8, 2022Updated 3 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆68Feb 9, 2025Updated last year
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated 2 years ago
- Iterative Closest Point algorithm for scans/mesh alignment (with subsampling and point to plane improvements).☆10Jul 15, 2018Updated 8 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆11Mar 15, 2020Updated 6 years ago
- MTG deck importer for Table Top Simulator☆10May 7, 2017Updated 9 years ago
- ☆23Jan 14, 2026Updated 8 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Stock image API☆11Jul 15, 2020Updated 6 years ago
- Datasets for the task of tracing diachronic semantic shifts in Russian for two large-scale time period pairs (from pre-Soviet to Soviet t…☆14Feb 21, 2025Updated last year
- Usefuls tools for C++, Qt and Open Cascade☆10Sep 28, 2022Updated 4 years ago
- Data structures for describing changes to other data structures.☆17Sep 28, 2026Updated last week
- Luna is inspired by Lucid, a framework for Feature Visualization. However, Luna is built on Tensorflow 2, and thus supports modern models…☆11Aug 17, 2022Updated 4 years ago
- stone-cli is a CLI for proving and verifying Cairo programs.☆27Aug 7, 2025Updated last year
- tools and benchmarks for verified coding☆35Jun 5, 2026Updated 4 months ago