Recreating the minimal training methods of DeepSeek-R1 for small langauge models.
☆22Feb 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
Sorting:
- Library for training process reward models☆29Jun 3, 2025Updated 9 months ago
- Show programming language printed values in a web UI☆24May 16, 2019Updated 6 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Sep 25, 2023Updated 2 years ago
- Code for RATIONALYST: Pre-training Process-Supervision for Improving Reasoning https://arxiv.org/pdf/2410.01044☆35Oct 3, 2024Updated last year
- R for Data Science (2e) in Simplified Chinese☆21Dec 23, 2025Updated 2 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- PDF Diff Viewer, a side-by-side, visual highlight, sync-scroll, PDF comparer, written in Python. Open source, mostly powered by PyMuPDF a…☆41Jan 31, 2026Updated last month
- A higher quality RVC pretrained model to accelerate your training process.☆21Nov 11, 2025Updated 3 months ago
- Linear Relational Embeddings (LREs) and Linear Relational Concepts (LRCs) for LLMs in PyTorch☆10Aug 7, 2024Updated last year
- A Library for Scaling Mixed-Integer Optimization-Based Machine Learning.☆12Jun 24, 2024Updated last year
- A simple API that can generate various types of hexagon grids - returns GeoJSON data or load into PostGIS with performant JDBC.☆10Aug 2, 2025Updated 7 months ago
- A comprehensive framework to explore whether embodied multimodal models are plausibly resilient☆13Nov 19, 2025Updated 3 months ago
- A CLI tool that provides a collection of reusable, framework-native AI agent components☆24Sep 28, 2025Updated 5 months ago
- Simple Video Summarization using Text-to-Segment Anything (Florence2 + SAM2) This project provides a video processing tool that utilizes…☆10Feb 20, 2025Updated last year
- ☆13Apr 25, 2022Updated 3 years ago
- Sift through Haskell code for analysis purposes☆18Jul 24, 2018Updated 7 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- WebSocket library for Python (ws4py)☆13Apr 26, 2012Updated 13 years ago
- miscellaneous gevent utilities☆21Apr 20, 2011Updated 14 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- BERT implementation of PyTorch☆11Mar 16, 2020Updated 5 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- Monoidal stack machine☆10Nov 25, 2018Updated 7 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- Market-Derived Financial Sentiment Analysis: Context-Aware Language Models for Crypto Forecasting☆17Mar 24, 2025Updated 11 months ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- abstraction for auto scrubbing and const time Eq, memory chunk☆17Feb 15, 2020Updated 6 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- CERN Library integrated library system.☆14Updated this week
- triton ver of gqa flash attn, based on the tutorial☆12Aug 4, 2024Updated last year
- Hearst Patterns to extract Hypernyms from text☆13Oct 30, 2019Updated 6 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago