☆54Oct 22, 2024Updated last year
Alternatives and similar repositories for Digital_twin_brain-open
Users that are interested in Digital_twin_brain-open are comparing it to the libraries listed below
Sorting:
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 2 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- Lennard Jones in Lean☆21Jul 14, 2025Updated 7 months ago
- This is the repository for brain state prediction using fMRI data and transformer.☆81Jul 22, 2024Updated last year
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated last month
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 10 months ago
- Project repository for "Evaluating the persuasive influence of political microtargeting with large language models" by Kobi Hackenburg an…☆11Jun 19, 2024Updated last year
- Rust bindings for the Lean 4 proof assistant☆46Sep 24, 2025Updated 5 months ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 3 weeks ago
- The root repository for the SpectralSequences project.☆31Feb 28, 2026Updated last week
- A semidefinite programming solver for clustered low-rank SDPs☆14Updated this week
- Scripts to extract features of cortical folding from MRI☆12Mar 10, 2025Updated 11 months ago
- MiniGPT-Pancreas: Multimodal Large language Model for Pancreas Cancer Classification and Detection☆11Sep 19, 2025Updated 5 months ago
- Solving Inequality Proofs with Large Language Models.☆58Dec 15, 2025Updated 2 months ago
- ☆57Feb 2, 2026Updated last month
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆43Jan 3, 2025Updated last year
- A WIP definitional (co)datatype package for Lean4☆47Feb 21, 2026Updated 2 weeks ago
- Code Repository for ControlVLA, CoRL2025.☆85Oct 26, 2025Updated 4 months ago
- https://nutil.readthedocs.io/en/latest/☆13Feb 18, 2026Updated 2 weeks ago
- Urai AE, de Gee JW, Tsetsos K, Donner TH (2019) Choice history biases subsequent evidence accumulation. eLife☆15Jul 20, 2020Updated 5 years ago
- Python API und automatische LV Anmeldung für das Lehrveranstaltungs- und Prüfungsinformationssystem (LPIS) der WU☆21Jan 24, 2020Updated 6 years ago
- Sage Math recompiled to run on the Raspberry Pi☆15Oct 9, 2015Updated 10 years ago
- A semi print-in-place hand for human-like manipulation, designed to be built by anyone.☆17Jan 5, 2026Updated 2 months ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- I built an awesome giant LED ceiling!☆10Feb 3, 2023Updated 3 years ago
- OpenSelfie is an Open Source (hardware and software) photobooth based on the Raspberry Pi and Wyolum's AlaMode☆15Oct 15, 2015Updated 10 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Code repository supporting the paper "Auto-Generating Weak Labels for Real & Synthetic Data to Improve Label-Scarce Medical Image Segment…☆11Apr 29, 2024Updated last year
- A benchmark dataset designed to support the development and evaluation of large language models (LLMs) for conversational mental health a…☆17Feb 24, 2025Updated last year
- [IROS 2025] EgoLoc: Zero-Shot Temporal Interaction Localization for Egocentric Videos☆33Jan 13, 2026Updated last month
- ☆11Sep 15, 2025Updated 5 months ago
- ☆13Jul 8, 2024Updated last year