Recreating the minimal training methods of DeepSeek-R1 for small langauge models.
☆21Feb 10, 2025Updated last year
Alternatives and similar repositories for tiny-r1
Users that are interested in tiny-r1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 3 years ago
- ☆19Mar 25, 2025Updated last year
- Show programming language printed values in a web UI☆24May 16, 2019Updated 7 years ago
- JFK file download for LLM analysis☆14May 10, 2026Updated 5 months ago
- Twili I/O library for libnx☆14Jan 13, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- Store 4TB in 5GB: S3-compatible storage with 99.9% compression for versioned files☆32Sep 1, 2026Updated last month
- FileManager written in haskell☆15Jan 24, 2020Updated 6 years ago
- A social analytics service built for Twitter's Vine.☆13Oct 16, 2015Updated 10 years ago
- A simple LLaMA implementation using MLX.☆15Apr 22, 2024Updated 2 years ago
- JSON-related helpers for your Elixir testing needs☆10May 17, 2018Updated 8 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Network Flows Optimization - Shortest Path, Max Flow and Min Cost Flow Algorithms in Python☆11Sep 13, 2019Updated 7 years ago
- Pad a string to the left with any number of characters.☆12Mar 23, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Android spotify streaming bot☆32Dec 29, 2025Updated 9 months ago
- This is my C++ Calculator program, ported to the Nintendo Switch☆12Dec 10, 2022Updated 3 years ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆35Oct 3, 2024Updated 2 years ago
- web application, powered by Python Flask and OpenAI GPT-3, designed to generate exceptional AI-generated content for a wide range of appl…☆13Feb 7, 2023Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Minimal implementation of a Byte Pair Encoding (BPE) tokenizer in Zig☆15Apr 7, 2025Updated last year
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Welcome page for Ember CLI applications☆11Sep 30, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Streamable multi-format serialization with schema☆23Dec 10, 2024Updated last year
- Vehicle direction identification consists of three module detection , tracking and direction recognization.☆11Nov 13, 2021Updated 4 years ago
- futures 0.3 + tokio compat layer example project☆17Jul 4, 2019Updated 7 years ago
- A tiny 1000 line implementation of GraphRAG in Python☆94Nov 10, 2025Updated 11 months ago
- A minimal, async-first AI agent framework in Rust with multi-provider support (OpenRouter, OpenAI, Anthropic, Ollama), JSON schema-based …☆15Apr 27, 2026Updated 5 months ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- HTTP responses powered by AI☆16Mar 25, 2025Updated last year
- Cherry-pick go functions to run from cmd☆11Jul 31, 2015Updated 11 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.
- ⚠️ Unmaintained☆18Feb 11, 2025Updated last year
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 8 years ago
- Closure calculus implementation☆12Jun 25, 2019Updated 7 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago