tensor-fusion / GPT-Haskell
A pure Haskell implementation of a decoder-only transformer (GPT)
☆18Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for GPT-Haskell
- ☆33Updated 7 months ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Parallel Environment for optimal Lambda Calculus Reduction☆28Updated 2 years ago
- Multiplication on optimal λ-calculus reducers☆22Updated 4 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆29Updated 10 months ago
- Interpret Haskell programs into any cartesian closed category.☆57Updated 3 weeks ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated 6 months ago
- Quantitative Type Theory implementation☆54Updated 3 years ago
- Absal ex☆55Updated last year
- A non-interactive proof assistant using the Haskell type system☆35Updated 4 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- Fωμ type checker and compiler☆51Updated last year
- oleg modules☆30Updated 11 years ago
- Haskell to C compiler via Categorifier☆29Updated 10 months ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last year
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Updated 6 years ago
- The theory of groups☆75Updated last year
- Yet another yet another recursion scheme library in Haskell.☆87Updated 3 weeks ago
- Low-overhead effect management for concrete monads☆37Updated 2 years ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Category theory concepts in type classes and instances.☆19Updated 3 weeks ago
- A talk☆28Updated 3 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- Macro Lambda Calculus☆45Updated 5 years ago
- Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.☆99Updated last year
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Paper and talk☆45Updated last year