sdiehl / tiny-gpt2Links
A reference implementation of GPT-2 in Python, for teaching ML compilers
☆21Updated 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:
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 3 years ago
- Modern Compiler Implementation in ML, in Haskell☆22Updated 4 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆33Updated 4 years ago
- Benchmarks for capture-avoiding substitution☆122Updated 8 months ago
- Fωμ type checker and compiler☆56Updated 3 years ago
- ☆44Updated 4 years ago
- An implementation of a simple Neural network in Idris using category theory.☆24Updated last year
- Denotational Semantics of the Untyped Lambda Calculus☆17Updated last year
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Awesome Agda Programming☆18Updated 4 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Class of data structures that can be unfolded.☆22Updated last month
- Toy typechecker for Insanely Dependent Types☆82Updated 3 months ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- Setoid type theory implementation☆38Updated 2 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- Yet another Scheme implemented in Haskell☆20Updated 6 years ago
- ☆17Updated last year
- From Zero to QED: An informal introduction to formality with Lean 4☆89Updated 2 weeks ago
- Lean type-checker written in Scala.☆40Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆32Updated 6 years ago
- An implementation of Haskell’s MVars in Racket☆30Updated last year
- a simple total pure functional language, eventually to have powerful static checking and optimization☆33Updated last month
- Unification and type inference algorithms☆127Updated 10 years ago
- Notes and handouts from OPLSS 2018☆55Updated 7 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆82Updated 3 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Updated 3 weeks ago
- An enhanced unification algorithm for Coq☆58Updated last week
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago