sdiehl / tiny-gpt2Links
A reference implementation of GPT-2 in Python, for teaching ML compilers
☆15Updated 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:
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 6 months ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- Class of data structures that can be unfolded.☆22Updated last year
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- Haskell library containing common graph search algorithms☆53Updated 2 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated last month
- ☆29Updated 9 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago
- A simple set of io-uring bindings in Haskell☆28Updated 5 years ago
- Awesome Agda Programming☆18Updated 5 years ago
- Classical Logic in Haskell☆24Updated 5 months ago
- enumerative property-based testing for Haskell☆52Updated 3 weeks ago
- Fωμ type checker and compiler☆54Updated 2 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- Haskell port of the WebAssembly OCaml reference interpreter☆45Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆31Updated 4 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last month
- First Class Record Fields in Haskell☆17Updated 3 months ago
- A prototypical dependently typed languages with sized types and variances☆111Updated last month
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated last year
- 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
- ☆44Updated 3 years ago
- Materials for the 2022-2023 edition of CS316 "Functional Programming"☆24Updated 2 years ago
- Examples for Haskell bindings to LLVM☆73Updated 4 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Modern Compiler Implementation in ML, in Haskell☆20Updated 4 years ago