☆58Nov 6, 2025Updated 7 months ago
Alternatives and similar repositories for petri-dish-nca
Users that are interested in petri-dish-nca are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spectral analysis and training of dense layers☆17Jan 12, 2024Updated 2 years ago
- ☆42Jun 11, 2025Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- MAVROS-PX4 drone auto ROS bag record on / off according to arming state☆12Oct 30, 2024Updated last year
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Bayesian Regression Models using pymc3☆11Feb 4, 2017Updated 9 years ago
- Using data to dig into the 2015 NL Cy Young race☆10Nov 19, 2015Updated 10 years ago
- AlgoTune is a NeurIPS 2025 benchmark made up of 154 math, physics, and computer science problems. The goal is write code that solves each…☆107Updated this week
- Haskell support☆20Updated this week
- The name "KnowledgeMap" tries to use the metaphor of a cartographic map. If we represent all the different areas of knowledge as a bidime…☆12Mar 29, 2016Updated 10 years ago
- FormulaOne: A dataset of algorithmic problems based on MSO formulas.☆25Mar 1, 2026Updated 3 months ago
- IPython Notebook Theme. Base16 default colors, VIM mode by default☆45Jun 27, 2014Updated 12 years ago
- Generate multiple seeds for Clifford or De Jong attractors simultaneously in a single page.☆10Jun 28, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple hackable commandline tool to help managing Leetcode problems☆11Oct 19, 2023Updated 2 years ago
- Inverse Scaling in Test-Time Compute☆25Dec 3, 2025Updated 6 months ago
- Implementation of the Hierarchical Reasoning Model (HRM), applied to a pathfinding task, plus performance study.☆33Sep 9, 2025Updated 9 months ago
- My PhD Thesis☆16Jan 4, 2022Updated 4 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 8 years ago
- The official baseline implementations for Chronocept☆10Mar 31, 2026Updated 3 months ago
- Random notes on mathematics (in German)☆13Jun 5, 2026Updated 3 weeks ago
- Runtime types for OCaml (beta version)☆27May 18, 2026Updated last month
- Little Book of R for Bayesian Statistics☆24Oct 31, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A minimalist implementation of type theory, suitable for experimentation☆16Jun 13, 2026Updated 2 weeks ago
- ☆15Apr 16, 2021Updated 5 years ago
- Mini Offline Singleplayer game in Crystal☆18Oct 24, 2017Updated 8 years ago
- ☆16Oct 5, 2017Updated 8 years ago
- An OpenAI API Compatible Honeypot Gateway☆26Mar 17, 2025Updated last year
- A personal wiki for Atom☆12Jun 8, 2016Updated 10 years ago
- Canonical repo☆16Feb 26, 2019Updated 7 years ago
- ☆32Apr 6, 2026Updated 2 months ago
- ☆13Jul 12, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- a public objective non-economic reputation system☆13Oct 4, 2015Updated 10 years ago
- A Bayesian testing framework written in Python.☆94Feb 10, 2015Updated 11 years ago
- JoVA: Unified Multimodal Learning for Joint Video-Audio Generation☆33Dec 22, 2025Updated 6 months ago
- Elasticsearch Relevance Studio☆41May 1, 2026Updated last month
- Neuroevolution is a Competitive Alternative to Reinforcement Learning for Skill Discovery☆17Apr 2, 2026Updated 2 months ago
- Stochastic trace estimation using JAX☆19Aug 20, 2025Updated 10 months ago
- ☆222Updated this week