A model for high-frequency mathematical intelligence.
☆160Nov 4, 2026Updated this week
Alternatives and similar repositories for limite-violetto
Users that are interested in limite-violetto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fuse: a desktop workspace for Lean formalization with AI agents☆13Oct 19, 2026Updated 2 weeks ago
- Experiments for the spectral neuron paper☆23Sep 5, 2026Updated 2 months ago
- FrontierSmith, a new system that uses AI to synthesize open-ended coding problems at scale☆84Oct 17, 2026Updated 3 weeks ago
- ☆56Oct 20, 2026Updated 2 weeks ago
- ☆19Oct 28, 2026Updated last week
- 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.
- An open protocol for distributed multi-agent autoformalization.☆118Oct 18, 2026Updated 2 weeks ago
- Composable Bend 2 frontend: checks full Bend and exports a typed Core.Program for backends.☆39Sep 30, 2026Updated last month
- Investigation and fix for Claude Code v2.1.23 UI freeze bug☆11Feb 12, 2026Updated 8 months ago
- MLX (Apple Silicon) port of MiniMax-H3 — 33B joint video+audio diffusion. Validated against the diffusers reference; AdaLN precompute dro…☆29Oct 30, 2026Updated last week
- Run a coding model at 300+ tok/s on your Mac. Native Rust + Metal inference engine for LiquidAI LFM2.5-24B-A2B (MLX 4-bit) on Apple Silic…☆23Oct 29, 2026Updated last week
- ☆33Sep 9, 2026Updated last month
- VENDORIZED in lucebox-hub. Fork of llama.cpp, ggml graph for lucebox inference engine☆29Jul 8, 2026Updated 3 months ago
- NeuroSkill™ CLI for NodeJS☆14Oct 26, 2026Updated last week
- miscellaneous tools and codebases☆14Oct 22, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A modular Rust-based self-learning episodic memory system for AI agents, featuring hybrid storage with Turso (SQL) and redb (KV), async e…☆13Updated this week
- 📰 Computing the information content of trained neural networks☆24Oct 8, 2021Updated 5 years ago
- Improving Source Extraction with Diffusion and Consistency Models☆12Jul 18, 2026Updated 3 months ago
- Standalone C11 and Metal inference server for EmbeddingGemma 300M☆28Oct 18, 2026Updated 2 weeks ago
- Natural-language constraints for JEPA world-model planning, judged by a decision model instead of an LLM.☆14Sep 24, 2026Updated last month
- Approximating the joint distribution of language models via MCTS☆22Nov 3, 2024Updated 2 years ago
- ☆12Jun 3, 2026Updated 5 months ago
- Durable Go data structures and primitives backed directly on S3-compatible storage.☆22Aug 21, 2026Updated 2 months ago
- [ICML 2026] NITP: Next Implicit Token Prediction for LLM Pre-training☆36May 26, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This is sample code for Paho MQTT server with Python 2.7☆10Mar 29, 2016Updated 10 years ago
- reproducing the flapping airplanes megakernel, in collab with magni☆131Updated this week
- Voice and text control for macOS. One floating bar, live UI action selection with Jev, and a continuous observe–act–verify loop.☆40Sep 23, 2026Updated last month
- 1bit llama.cpp gguf weights paired with turboquant 4 bit kv cache☆24Apr 4, 2026Updated 7 months ago
- Benchmark harness for Ratel: BM25 retrieval evaluation + agent-campaign with LLM judge☆12Oct 17, 2026Updated 2 weeks ago
- Busy beaver machines with axiom-free Coq proofs: BB(7) σ > 3↑²⁰3, BB(8) > f_ω³(12), BB(9) > f_ω⁷(12), BB(10) f_(ω+1), BB(12) f_(ω+1)², BB…☆15Updated this week
- SparkHome: a tvOS-style home screen and voice assistant for the NVIDIA DGX Spark. Plugins for controllers, tiles and connectors; MCP for …☆39Updated this week
- Native desktop app & game engine in HTML/CSS/JS with 3D, Jolt physics, audio, on-device AI, GPU shaders, and in-process SMT verification …☆13Updated this week
- Pier Code is a terminal-native agentic coding tool that understands your codebase and helps you move faster by handling routine tasks, ex…☆17Aug 22, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A very-low-resource API-compatible replacement for Ray☆13Updated this week
- One-liner for installing binaries from Github releases☆18Feb 27, 2026Updated 8 months ago
- Reproducible MiniMax H3 Native, Spectrum, and TE-Speed deployment on a temporary Colab G4☆16Aug 4, 2026Updated 3 months ago
- ☆17May 23, 2026Updated 5 months ago
- ☆11Oct 2, 2026Updated last month
- trio async MQTT client that wraps paho-mqtt☆12Feb 8, 2021Updated 5 years ago
- Live OBD-II monitor for macOS (SwiftUI): ELM327 over BLE/serial/Wi-Fi, CSV logging, trouble codes, simulator, optional Hermes analysis☆46Oct 25, 2026Updated last week