DTB-consortium / Digital_twin_brain-openView external linksLinks
☆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:
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- The Lean Theorem Proving Environment☆14May 7, 2023Updated 2 years ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated 3 weeks ago
- Code to estimate DunedinPACNI scores from FreeSurfer parcellations of brain MRI data.☆41Sep 20, 2025Updated 4 months ago
- Lennard Jones in Lean☆20Jul 14, 2025Updated 7 months ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 2 years ago
- This is the repository for brain state prediction using fMRI data and transformer.☆81Jul 22, 2024Updated last year
- scrapper for various science databases☆11Sep 14, 2023Updated 2 years ago
- Conservative floating point interval arithmetic in Lean☆24Jan 20, 2026Updated 3 weeks ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- ☆36Feb 2, 2026Updated 2 weeks ago
- A search engine for Lean 4 declarations☆51Updated this week
- deep learning for math☆29May 4, 2019Updated 6 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated 9 months ago
- Ramirez Lab WIKI, where you could find Tutorials, Script Library, Gallery, FAQ, and a little bit more☆13Sep 11, 2024Updated last year
- Rust bindings for the Lean 4 proof assistant☆45Sep 24, 2025Updated 4 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
- 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☆43Dec 3, 2025Updated 2 months ago
- Experimental tree-sitter parser for the Lean (4) Theorem Prover☆41Jan 3, 2025Updated last year
- Scripts to extract features of cortical folding from MRI☆12Mar 10, 2025Updated 11 months ago
- ☆27Feb 9, 2026Updated last week
- Solving Inequality Proofs with Large Language Models.☆56Dec 15, 2025Updated 2 months ago
- The root repository for the SpectralSequences project.☆32Dec 26, 2025Updated last month
- The AILuminate v1.1 benchmark suite is an AI risk assessment benchmark developed with broad involvement from leading AI companies, academ…☆70Jun 11, 2025Updated 8 months ago
- Code Repository for ControlVLA, CoRL2025.☆84Oct 26, 2025Updated 3 months ago
- A WIP definitional (co)datatype package for Lean4☆47Oct 23, 2025Updated 3 months ago
- Repo for the CZI Imaging Team's napari plugin Alfa Cohort collaboration☆11May 14, 2021Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆11Nov 2, 2023Updated 2 years ago
- A WiFi Connected Message Box using the ESP32☆13Aug 28, 2020Updated 5 years ago
- Some examples of integrations with Transcend in various languages.☆11Dec 22, 2025Updated last month
- ☆10Oct 11, 2022Updated 3 years ago
- Urai AE, de Gee JW, Tsetsos K, Donner TH (2019) Choice history biases subsequent evidence accumulation. eLife☆15Jul 20, 2020Updated 5 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
- ☆23Updated this week
- ☆11Sep 15, 2025Updated 5 months ago
- A benchmark dataset designed to support the development and evaluation of large language models (LLMs) for conversational mental health a…☆17Feb 24, 2025Updated 11 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago