sdiehl / tiny-gpt2Links
A reference implementation of GPT-2 in Python, for teaching ML compilers
☆14Updated last week
Alternatives and similar repositories for tiny-gpt2
Users that are interested in tiny-gpt2 are comparing it to the libraries listed below
Sorting:
- Class of data structures that can be unfolded.☆22Updated last year
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 5 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆31Updated 4 years ago
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- Modern Compiler Implementation in ML, in Haskell☆20Updated 4 years ago
- https://mitchellwrosen.github.io/haskell-papers☆22Updated 6 years ago
- Awesome Agda Programming☆17Updated 4 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 years ago
- Haskell JSON library☆27Updated 8 months ago
- A tutorial on how Agda infers things☆58Updated 2 weeks ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated 11 months ago
- SPJ's tutorial on implementing functional languages☆29Updated 5 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A library for benign effects in Haskell☆20Updated 2 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆43Updated 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…☆10Updated last year
- An implementation of Haskell’s MVars in Racket☆29Updated 9 months ago
- Haskell library containing common graph search algorithms☆53Updated 3 weeks ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- LLM-powered typed-holes☆41Updated 2 months ago