sdiehl / tiny-gpt2Links
A reference implementation of GPT-2 in Python, for teaching ML compilers
☆16Updated this 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
- Haskell library containing common graph search algorithms☆53Updated 2 months ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Awesome Agda Programming☆18Updated this week
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- A Datalog extension to reason about time with CTL operators☆14Updated 5 years ago
- Modern Compiler Implementation in ML, in Haskell☆20Updated 4 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Classical Logic in Haskell☆24Updated 6 months 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
- Examples for Haskell bindings to LLVM☆73Updated 4 years ago
- An equational theorem prover based on Knuth-Bendix completion☆54Updated last week
- ☆29Updated 10 years ago
- A library for benign effects in Haskell☆20Updated 4 months ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago
- # A simple variable binding library based on well-scoped indices and environments☆17Updated this week
- Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University☆54Updated 5 years ago
- Parsers and (eventually) Idris code generator for WebIDL documents☆15Updated 7 months ago
- Constructive Galois connections☆35Updated 7 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A beginner's guide to Haskell optimization☆65Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Updated 6 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆32Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Formalizations of Gradually Typed Languages in Agda☆57Updated 7 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- ☆17Updated last year
- Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…☆44Updated 6 years ago
- A certified semantics for relational programming workout.☆26Updated 4 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 7 months ago