A pure Haskell implementation of a decoder-only transformer (GPT)
☆22Jun 22, 2024Updated 2 years ago
Alternatives and similar repositories for GPT-Haskell
Users that are interested in GPT-Haskell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆16Jul 26, 2026Updated 3 months ago
- A parallel general purpose computer based on interaction combinators☆12Nov 19, 2021Updated 4 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Mar 12, 2021Updated 5 years ago
- Repository where I experiment with ideas and DSLs to improve Ktors typsafety.☆11Aug 4, 2025Updated last year
- SKI combinators☆57May 27, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Hackathon project for Snarky workshop.☆12Jun 21, 2019Updated 7 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆31Apr 20, 2024Updated 2 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆235Jan 22, 2024Updated 2 years ago
- Polynomial-time Meta-Interpretive Learning☆137Feb 11, 2025Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆29Mar 24, 2019Updated 7 years ago
- A Fast, Minimal Memory, Consistent Hash Algorithm ( origin: Google https://arxiv.org/pdf/1406.2294v1.pdf )☆15Jun 10, 2026Updated 4 months ago
- Model Context Protocol for Scala 3☆13Oct 29, 2026Updated last week
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆20Mar 4, 2026Updated 8 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- my personal lang☆18Dec 31, 2023Updated 2 years ago
- Debug as an Effect (DaaE)☆10Apr 22, 2025Updated last year
- Scala/Spark reference implementation of the Teckel v3.0 specification — declarative YAML ETL pipelines on Apache Spark.☆12Updated this week
- PlaceOS integrations and automations.☆13Updated this week
- Defines the versions of the Vert.x components of the Vert.x stack.☆12Updated this week
- Arrow ❤️ Ktor☆16Jun 2, 2024Updated 2 years ago
- Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)☆14Nov 19, 2017Updated 8 years ago
- ☆12Nov 2, 2024Updated 2 years ago
- Basic Concurrent Sudoku Solver implementations using Cats Effect and FS2☆10Dec 19, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Convert case classes to form data automatically (e.g., for Stripe API)☆11Dec 13, 2024Updated last year
- Java based Edinburgh Prolog parser☆11May 15, 2026Updated 5 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆12Nov 14, 2024Updated last year
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 6 years ago
- Extremely simple MoE implementation, mostly based off Switch Transformer☆13Feb 26, 2024Updated 2 years ago
- 📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).☆47Mar 25, 2022Updated 4 years ago
- ☆11Jun 15, 2026Updated 4 months ago
- ☆14Apr 25, 2025Updated last year
- Functions and bitwise operators for the Int numeric type☆19Oct 18, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A mobile application that has the purpose of saving passwords for you, just enter the username and password and that's it, it's saved!☆10Apr 3, 2026Updated 7 months ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- Deriver for unboxed vectors using Template Haskell☆13Sep 3, 2019Updated 7 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆11Feb 2, 2023Updated 3 years ago
- Smithy4s integration for Caliban, a Scala GraphQL library.☆14Oct 22, 2023Updated 3 years ago
- A web app showing you possible binary incompatibilities in your Scala code☆14Oct 28, 2026Updated last week
- ☆17Jun 16, 2026Updated 4 months ago