A programming language for formal/informal computation.
☆43Dec 31, 2025Updated 8 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 2 years ago
- ☆11May 24, 2024Updated 2 years ago
- Course Info for VIP-GEAI☆11Apr 11, 2024Updated 2 years ago
- ☆15Nov 23, 2023Updated 2 years ago
- N2O: Application Server☆14Nov 22, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆18Apr 8, 2025Updated last year
- 🧮 Algebraic Positional Encodings.☆21Jun 5, 2026Updated 2 months ago
- SimEc code relying on the theano library - check out the simec repo instead for keras based code!☆10Feb 28, 2018Updated 8 years ago
- ☆11Oct 11, 2023Updated 2 years ago
- Efficient World Models with Context-Aware Tokenization. ICML 2024☆130Sep 22, 2024Updated last year
- Lisp-in-progress☆43Aug 22, 2023Updated 3 years ago
- ☆22Nov 8, 2021Updated 4 years ago
- ☆20Oct 25, 2022Updated 3 years ago
- LLM benchmarks☆13Feb 22, 2024Updated 2 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.
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆35Apr 17, 2025Updated last year
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆111Sep 17, 2025Updated 11 months ago
- Self-Expanding Neural Networks☆44Feb 9, 2024Updated 2 years ago
- Stochastic trace estimation using JAX☆21Updated this week
- Glamorous CSS preprocessor for Dart☆15Jan 13, 2014Updated 12 years ago
- Dataset of spoken conversational search utterances☆14Aug 27, 2021Updated 5 years ago
- A script to transcribe audio files with Google Cloud Speech API.☆10Oct 31, 2017Updated 8 years ago
- A differential testing tool targeting SPIRV based on structured fuzzing techniques☆16Dec 9, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Proxies and wrappers for ordinary Python objects☆21Jul 24, 2015Updated 11 years ago
- Your favourite classical machine learning algos on the GPU/TPU☆23Dec 14, 2025Updated 8 months ago
- ☆16Jun 23, 2015Updated 11 years ago
- Compositional Abstractions Tutorial☆14Nov 26, 2023Updated 2 years ago
- The official code for Dropping Backward Propagation (DropBP)☆32Oct 29, 2024Updated last year
- ☆13Aug 5, 2024Updated 2 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
- 供大学生，竞赛生，高中生查找的math-wiki☆10May 26, 2022Updated 4 years ago
- Official implementation of "Traveling Waves Encode the Recent Past and Enhance Sequence Learning" (ICLR 2024)☆12Mar 15, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Q-Probe: A Lightweight Approach to Reward Maximization for Language Models☆41Jun 10, 2024Updated 2 years ago
- Nervana Neon kernels in Torch☆19Nov 5, 2015Updated 10 years ago
- ☆24Jul 31, 2023Updated 3 years ago
- ☆77Mar 23, 2026Updated 5 months ago
- Define command-line interfaces using ordinary dart methods and classes.☆22Dec 13, 2017Updated 8 years ago
- An llm wrapper for OpenAI☆13Dec 14, 2024Updated last year
- This is a simple interface for chroma - it takes in documents, embeds them into a DB and allows you to query over them using GPT 3.5☆10Dec 7, 2024Updated last year