A reference implementation of GPT-2 in Python, for teaching ML compilers
☆23Oct 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for tiny-gpt2
Users that are interested in tiny-gpt2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Michael Spivak's Calculus formalized in Lean 4: every theorem and every problem of all 30 chapters and 9 appendices, in both the 3rd and …☆45Sep 26, 2026Updated last month
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Lean models of Rust libraries☆39Sep 4, 2024Updated 2 years ago
- ☆11Updated this week
- ☆15Sep 16, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Common interface for tracing/instrumentation libraries in OCaml☆36Oct 1, 2026Updated 3 weeks ago
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆13Aug 26, 2023Updated 3 years ago
- SBLP 2025 MLIR Tutorial☆79Mar 25, 2026Updated 7 months ago
- Quantum circuits compiler with staging and continuations☆18Nov 19, 2024Updated last year
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- ☆17Nov 11, 2021Updated 4 years ago
- Lean formalization of extended regular expressions with lookarounds☆10Oct 18, 2026Updated last week
- ☆19Nov 8, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Starter template for a minimal, evergreen static blog implemented in Emacs Lisp.☆18May 12, 2026Updated 5 months ago
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆15May 2, 2025Updated last year
- WAI based library for web api☆28Oct 2, 2026Updated 3 weeks ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆16Jul 26, 2026Updated 3 months ago
- http://www.cse.chalmers.se/edu/course/afp/☆13Dec 1, 2015Updated 10 years ago
- vite plugin for moonbit☆24Jul 22, 2026Updated 3 months ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- Display time values in a friendly way☆14Oct 9, 2019Updated 7 years ago
- ShopEasy is a containerized e‑commerce boilerplate with an Angular SPA and Spring Boot API (JWT‑secure), backed by MySQL and Kafka, deplo…☆16Oct 22, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 微信公众平台服务器开发工具☆10Aug 24, 2023Updated 3 years ago
- ☆12Jul 19, 2026Updated 3 months ago
- Pure memoization combinators for Haskell☆39Jan 27, 2016Updated 10 years ago
- Simple demonstration stack based virtual machine written in Haskell☆41May 28, 2016Updated 10 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆36Jun 28, 2017Updated 9 years ago
- [Emacs] Helm interface for 知乎日报☆10Jun 25, 2016Updated 10 years ago
- A general purpose gpu computation library in odin☆12May 9, 2025Updated last year
- An automatic recursive function transformer.☆10Aug 12, 2023Updated 3 years ago
- Map lazy functional language constructs to LLVM IR☆54Jun 21, 2019Updated 7 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.
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 7 months ago
- An extremely simple static blog generator made in Haskell☆21Jul 29, 2022Updated 4 years ago
- Effortless, flexible, and powerful job execution engine.☆10Jul 24, 2025Updated last year
- ☆15Feb 10, 2015Updated 11 years ago
- Various https://benthos.dev experiments☆10May 24, 2025Updated last year
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- Unit conversion and manipulation library for Haskell.☆18Dec 6, 2018Updated 7 years ago