A programming language for formal/informal computation.
☆43Dec 31, 2025Updated 2 months ago
Alternatives and similar repositories for mindscript
Users that are interested in mindscript are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆27Jun 6, 2024Updated last year
- ☆11May 24, 2024Updated last year
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- 🧮 Algebraic Positional Encodings.☆18Aug 20, 2025Updated 7 months ago
- Stochastic trace estimation using JAX☆17Aug 20, 2025Updated 7 months ago
- ☆45Sep 21, 2024Updated last year
- ☆29Apr 16, 2021Updated 4 years ago
- ☆18Apr 8, 2025Updated 11 months ago
- ☆106Jan 6, 2025Updated last year
- Efficient World Models with Context-Aware Tokenization. ICML 2024☆119Sep 22, 2024Updated last year
- ☆11Oct 11, 2023Updated 2 years ago
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 3 years ago
- ☆22Nov 8, 2021Updated 4 years ago
- LLM benchmarks☆13Feb 22, 2024Updated 2 years ago
- ☆20Oct 25, 2022Updated 3 years ago
- A prototype user experience concept for building interactive worlds and telling stories at the same time by sketching and speaking; Ph.D.…☆27Jul 1, 2025Updated 8 months ago
- N2O: Application Server☆13Nov 22, 2022Updated 3 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆103Sep 17, 2025Updated 6 months ago
- ☆16Jun 23, 2015Updated 10 years ago
- Optimal distance lower bound k-mer sampling.☆12Jun 19, 2024Updated last year
- ☆56Nov 6, 2024Updated last year
- Your favourite classical machine learning algos on the GPU/TPU☆22Dec 14, 2025Updated 3 months ago
- Use Bayesian CNN and Active Learning to Scale Galaxy Zoo (public)☆19May 8, 2019Updated 6 years ago
- Analysis of snRNA-seq2 data coming from 3 months old mouse liver, dissecting the influence ploidy has on gene expression.☆14Dec 6, 2021Updated 4 years ago
- What I'm learning/practicing☆18Feb 14, 2026Updated last month
- Computational abilities and efficiency of neural networks☆56Jul 19, 2025Updated 8 months ago
- Nervana Neon kernels in Torch☆19Nov 5, 2015Updated 10 years ago
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- ☆24Jul 31, 2023Updated 2 years ago
- Simulating multiple agents of a swarm in Gazebo 2.2.3 (http://gazebosim.org/) on ROS Indigo (http://wiki.ros.org/indigo) communicating to…☆14Jun 23, 2017Updated 8 years ago
- Code for Unsupervised interpretation of instructional recipes☆10Jun 30, 2018Updated 7 years ago
- Ontoclick - A web browser extension to turn highlighted text into a proper Ontology term.☆13Jun 2, 2023Updated 2 years ago
- ☆11Dec 11, 2024Updated last year
- Neuroevolution Benchmark in JAX 🦕☆42Nov 5, 2023Updated 2 years ago
- ☆10Dec 19, 2024Updated last year
- The (open-source part of) code to reproduce "BPPSA: Scaling Back-propagation by Parallel Scan Algorithm".☆13Jun 7, 2021Updated 4 years ago
- ☆11Feb 24, 2026Updated 3 weeks ago
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 2 years ago
- ☆91Sep 19, 2022Updated 3 years ago