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
- Show programming language printed values in a web UI☆24May 16, 2019Updated 7 years ago
- Book manager empowered by org-roam, org-roam-manager and helm-bibtex for Emacs☆10Sep 28, 2021Updated 5 years ago
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆14Jun 1, 2025Updated last year
- Runtime code generation for x86 machine code☆26Sep 30, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Twili I/O library for libnx☆14Jan 13, 2020Updated 6 years ago
- Haskell 98 comonads☆80Jan 10, 2026Updated 9 months ago
- FileManager written in haskell☆15Jan 24, 2020Updated 6 years ago
- A social analytics service built for Twitter's Vine.☆13Oct 16, 2015Updated 11 years ago
- Compile MLIR to PTX and execute it on NVIDIA GPUs☆11Apr 16, 2025Updated last year
- A simple S-Expression parser for rust TokenStreams☆15Nov 23, 2025Updated 11 months 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
- A translator from c to MLIR☆32Nov 15, 2021Updated 4 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.
- ☆11Aug 25, 2026Updated 2 months ago
- Pad a string to the left with any number of characters.☆12Mar 23, 2016Updated 10 years ago
- This is my C++ Calculator program, ported to the Nintendo Switch☆12Dec 10, 2022Updated 3 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Cayley-Dickson constructions☆11Nov 30, 2015Updated 10 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Streamable multi-format serialization with schema☆23Dec 10, 2024Updated last year
- A Chisel verison of the tiny-gpu project, with more verification codes than original implementation☆14Jan 22, 2025Updated last year
- ⚠️ Unmaintained☆18Feb 11, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Haskell to Quil quantum instruction set compiler☆11Jun 6, 2018Updated 8 years ago
- Welcome page for Ember CLI applications☆11Sep 30, 2026Updated last month
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Cherry-pick go functions to run from cmd☆11Jul 31, 2015Updated 11 years ago
- importd boilerplate☆10Apr 13, 2015Updated 11 years ago
- futures 0.3 + tokio compat layer example project☆17Jul 4, 2019Updated 7 years ago
- ☆14Jul 21, 2024Updated 2 years ago
- Helpers for DSL construction in Python☆13Nov 20, 2013Updated 12 years ago
- Generate compile_commands.json and run clang-tidy with Bazel☆18Jun 23, 2019Updated 7 years 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.
- HTTP responses powered by AI☆16Mar 25, 2025Updated last year
- The compilation target that functional programmers always wanted.☆62Aug 2, 2020Updated 6 years ago
- Minimal Lisp interpreter.☆12Mar 4, 2021Updated 5 years ago
- Syna is a lightweight machine learning framework inspired by DeZero.☆16Oct 26, 2025Updated last year
- Computing lenses generically using generics-sop☆15Jan 7, 2026Updated 9 months ago
- xtrace — Command-line CPU Profiling for macOS as a skill.☆19Apr 16, 2026Updated 6 months ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago