tensor-fusion / GPT-HaskellLinks
A pure Haskell implementation of a decoder-only transformer (GPT)
☆20Updated last year
Alternatives and similar repositories for GPT-Haskell
Users that are interested in GPT-Haskell are comparing it to the libraries listed below
Sorting:
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated last year
- ☆37Updated last year
- Demo for dependent types + runtime code generation☆72Updated 11 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 5 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆137Updated 2 years ago
- A minimal proof checker.☆79Updated last year
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated 2 months ago
- A tutorial on how Agda infers things☆64Updated 7 months ago
- Yet another Scheme implemented in Haskell☆20Updated 6 years ago
- Learn the Agda basics in three 2-hour sessions.☆60Updated 4 months ago
- LLVM code generation in Haskell☆54Updated last year
- A verified compiler for a lazy functional language☆39Updated last week
- SKI combinators☆56Updated 8 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆60Updated last year
- Interpret Haskell programs into any cartesian closed category.☆69Updated this week
- Kempe is a compiled stack-based language☆58Updated last year
- Distributors - Unifying Parsers, Printers & Grammars☆62Updated this week
- A toy dependent typed language.☆36Updated this week
- Toy typechecker for Insanely Dependent Types☆82Updated 3 months ago
- SPJ's tutorial on implementing functional languages☆29Updated 6 years ago
- The theory of groups☆81Updated 2 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- A pure type system implemented in OCaml☆78Updated 5 years ago
- Apple array system☆69Updated last month
- A Lévy-optimal lambda calculus reducer with a backdoor to C☆43Updated this week
- Bologna Optimal Higher-Order Machine, Version 1.1☆84Updated 8 years ago
- SC Mini is a "minimal" positive supercompiler☆48Updated 5 years ago