sdiehl / tiny-gpt2Links
A reference implementation of GPT-2 in Python, for teaching ML compilers
☆14Updated 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:
- Reference counting with linear types☆31Updated 11 months ago
- Class of data structures that can be unfolded.☆22Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆10Updated this week
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Updated 2 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- Imagine a Dependently Typed Python☆11Updated 2 months ago
- How to read Lean☆17Updated 4 months ago
- Stable sort algorithms and their stability proofs in Rocq☆22Updated this week
- 🪆 A Staged Type Theory☆35Updated last year
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- The Next Generation of Compositional Programming☆27Updated 2 weeks ago
- First Class Record Fields in Haskell☆17Updated 3 weeks ago
- ☆43Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆31Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Updated 2 years ago
- ☆17Updated last year
- Anders: Cubical Type Checker☆24Updated last year
- An implementation of Haskell’s MVars in Racket☆29Updated 8 months ago
- Modern Compiler Implementation in ML, in Haskell☆20Updated 4 years ago
- CS410 "Advanced Functional Programming"☆24Updated last month
- Awesome Agda Programming☆16Updated 4 years ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆16Updated 9 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Public course materials for CSE 230 (Winter 2019)☆28Updated 3 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- typed finite-state machine☆18Updated 7 months ago