rougier / braincraftLinks
Braincraft challenge — 1000 neurons, 100 seconds, 10 runs, 2 choices, no reward
☆152Updated 3 weeks ago
Alternatives and similar repositories for braincraft
Users that are interested in braincraft are comparing it to the libraries listed below
Sorting:
- R.L. methods and techniques.☆200Updated 11 months ago
- A tiny autograd engine with a Jax-like API☆74Updated 3 months ago
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆207Updated last year
- Automated, smooth, N'th order derivatives of non-uniformly sampled time series data☆228Updated 11 months ago
- Pure Python/Numpy Bayesian Filtering and Smoothing☆27Updated last year
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆100Updated last year
- ☆39Updated last month
- This is material written for the masterclass Numerical and Analytical Methods for Spatially-Extended Neurobiological Networks, held at th…☆19Updated last year
- ☆47Updated 6 months ago
- ☆52Updated last year
- Rewriting Principia Mathematica in Lean☆134Updated last month
- Biologically Plausible Neural Networks for Simulating Brain Dynamics and Inferring Connectivity☆28Updated 9 months ago
- ☆66Updated 4 months ago
- Functional ultrasound through the skull☆29Updated 8 months ago
- This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …☆41Updated last month
- Code for the Fractured Entangled Representation Hypothesis position paper!☆200Updated 4 months ago
- "Proof of thought: Neurosymbolic program synthesis allows robust and interpretable reasoning" published Sys2Reasoning Workshop NeurIPS 20…☆336Updated 2 weeks ago
- Flexible Inference for Predictive Coding Networks in JAX.☆56Updated last week
- Absolute minimalistic implementation of a GPT-like transformer using only numpy (<650 lines).☆253Updated last year
- A domain-specific probabilistic programming language for reasoning about reasoning☆113Updated last week
- Grow virtual creatures in static and physics simulated environments.☆53Updated last year
- convert a scikit-learn decision tree into a Keras model☆39Updated last year
- ☆34Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆33Updated last year
- time to learn mlx☆40Updated last month
- ☆142Updated 2 months ago
- Setting up C elegans as an RL environment.☆16Updated last year
- Writing Python C extensions in Julia within 5 minutes.☆242Updated 9 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year