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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Jun 2, 2021Updated 4 years ago
- AutoGPT maintainer/reviewer system☆16May 26, 2023Updated 2 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Jul 28, 2018Updated 7 years ago
- A gitit theme based on Bootstrap v3☆20Oct 18, 2016Updated 9 years ago
- A hello world app made in FastAPI and HTMX☆10Aug 26, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆22Sep 9, 2021Updated 4 years ago
- The opentheory tool processes higher order logic theory packages☆17Mar 21, 2023Updated 3 years ago
- libcurl for Standard ML and http client with asynchronous support (via sml-ev)☆14Jan 5, 2024Updated 2 years ago
- Making a bridge between NLP models and Brain data☆19Jun 3, 2020Updated 5 years ago
- Official Implementation of "Style Generator Inversion for Image Enhancement and Animation".☆13Dec 2, 2021Updated 4 years ago
- ☆12Aug 29, 2021Updated 4 years ago
- TransformerLens + HuggingFace☆11Nov 4, 2023Updated 2 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- An assistant for betting on prediction markets on manifold.markets, utilizing OpenAI's GPT APIs.☆35Jan 9, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- KSP plugin showing a temperature gauge and which part is going to blow up first☆10Apr 30, 2022Updated 3 years ago
- Extensive Automation server☆21Nov 13, 2023Updated 2 years ago
- Code and project page for ICCV 2021 paper "DisUnknown: Distilling Unknown Factors for Disentanglement Learning"☆26Oct 13, 2021Updated 4 years ago
- ☆12Oct 4, 2024Updated last year
- The tiniest AGI☆18Mar 4, 2024Updated 2 years ago
- A short conceptual replication of "Prefrontal cortex as a meta-reinforcement learning system" in Jax.☆18Feb 27, 2023Updated 3 years ago
- Decentralised Texas Hold'em Poker for Ethereum☆21May 24, 2023Updated 2 years ago
- Mechanistic Interpretability for Transformer Models☆53Jun 1, 2022Updated 3 years ago
- A Parallel Russian-Simple Russian Dataset☆15Mar 30, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- This repository contains code developed by the SRI team for the IARPA/TrojAI program.☆20Jul 1, 2021Updated 4 years ago
- Protocols intersection for mypy☆38Updated this week
- Einsum with einops style variable names☆19May 16, 2024Updated last year
- ☆20Feb 17, 2023Updated 3 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆43Mar 22, 2026Updated 2 weeks ago
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- Relay support for Zed☆10Updated this week
- Real-time visualisation☆23Apr 2, 2026Updated last week
- An OpenGL-based program to display HEALPix-based skymaps stored in FITS format files.☆14Apr 15, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Feb 15, 2020Updated 6 years ago
- Fetch forecasts from prediction markets/forecasting platforms to make them searchable. Integrate these forecasts into other services.☆67Feb 9, 2025Updated last year
- AI-powered code reviews☆31Sep 6, 2023Updated 2 years ago
- CD20200004 from 01/01/2021 to 31/12/2023 - LIG UGA - Python Notebook and Models for the MT Lab @ ALPS 2022☆13Apr 1, 2024Updated 2 years ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆33Feb 22, 2026Updated last month
- A Playwright MCP package in Nix☆18Jan 16, 2026Updated 2 months ago
- Code + data archive for "Modeling the Human Trajectory"☆29Jul 13, 2024Updated last year