A reference implementation of GPT-2 in Python, for teaching ML compilers
☆23Jul 27, 2026Updated last month
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:
- An exploration of parsing techniques☆17May 21, 2018Updated 8 years ago
- Haskell GHC reading guide☆35Feb 6, 2021Updated 5 years ago
- Lean models of Rust libraries☆35Sep 4, 2024Updated last year
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- ☆19Nov 8, 2025Updated 9 months ago
- 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.
- ☆11Updated this week
- Common interface for tracing/instrumentation libraries in OCaml☆35Jun 30, 2026Updated 2 months ago
- List of interactive prompt helpers to pimp the UIs of your haskell programs☆13Aug 26, 2023Updated 3 years ago
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆15Jul 26, 2026Updated last month
- Quantum circuits compiler with staging and continuations☆17Nov 19, 2024Updated last year
- Course materials for Aircraft Dynamics (ASEN 3728) at CU Boulder☆14May 2, 2025Updated last year
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Jun 28, 2017Updated 9 years ago
- WAI based library for web api☆28Updated this week
- ☆17Nov 11, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆12Dec 9, 2025Updated 8 months ago
- 微信公众平台服务器开发工具☆10Aug 24, 2023Updated 3 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆13Dec 1, 2015Updated 10 years ago
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- [Emacs] Helm interface for 知乎日报☆10Jun 25, 2016Updated 10 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…☆17Sep 5, 2025Updated 11 months ago
- Simple demonstration stack based virtual machine written in Haskell☆41May 28, 2016Updated 10 years ago
- ☆12Jul 19, 2026Updated last month
- A general purpose gpu computation library in odin☆12May 9, 2025Updated last year
- 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.
- Classical Logic in Haskell☆23Nov 19, 2025Updated 9 months ago
- Pure memoization combinators for Haskell☆39Jan 27, 2016Updated 10 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆39Mar 5, 2026Updated 5 months ago
- ☆15Feb 10, 2015Updated 11 years ago
- Support repository for the functional programming lecture (Haskell)☆19Jul 27, 2025Updated last year
- Purescript frontend scaffolder☆15Nov 27, 2022Updated 3 years ago
- Unit conversion and manipulation library for Haskell.☆18Dec 6, 2018Updated 7 years ago
- Generate tags file for haskell modules (GHC)☆40May 9, 2026Updated 3 months ago
- An introduction course about scientific computing and research for the first year undergraduates taught at Fudan University.☆10Nov 6, 2025Updated 9 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A collection of tools that make creating and consuming callbags more intuitive☆12Dec 1, 2025Updated 8 months ago
- Building and Deploying a Secure ReactJS App with Docker, NGINX, and Automating with GitHub Actions to AWS EC2☆10Mar 26, 2025Updated last year
- Compile Markdown files to beautiful PDF documents by pandoc and tectonic.☆11Jul 6, 2026Updated last month
- This is a extension for Ethereum based tokens, which added an build-in exchange.☆10Sep 23, 2025Updated 11 months ago
- Developer React, Vue.js, Angular, Node | Currently learning GitOps | Passionate about modern web development and DevOps practices☆17Updated this week
- OCaml hacking ideas, small and large.☆21Apr 9, 2024Updated 2 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 3 months ago