iokasimov / yaView external linksLinks
Я - extremely composable embeddable programming language
☆108Updated this week
Alternatives and similar repositories for ya
Users that are interested in ya are comparing it to the libraries listed below
Sorting:
- ☆17Apr 4, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆14Nov 4, 2025Updated 3 months ago
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- ☆142Jan 31, 2026Updated 2 weeks ago
- Compiler for the fort programming language☆14Jun 30, 2025Updated 7 months ago
- The Hazy Haskell Compiler☆52Updated this week
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 9 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆62Feb 8, 2026Updated last week
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- dependent type theory experiment☆26Mar 1, 2024Updated last year
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- ☆11Nov 2, 2021Updated 4 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated 11 months ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 5 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- Hypertypes - generic programming for heterogeneous recursive types☆125Jan 12, 2025Updated last year
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 4 months ago
- A tutorial on how Agda infers things☆64Jul 10, 2025Updated 7 months ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated 3 weeks ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Oct 1, 2025Updated 4 months ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 4 years ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆44Dec 29, 2025Updated last month
- Eventually a practical 2-level TT-based compiler☆31Feb 3, 2026Updated last week
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated last month
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated last year
- A Haskell libary for fast arrowized FRP based on signal functions☆18Oct 26, 2025Updated 3 months ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- Embeddable Lambda Prolog Interpreter☆338Jan 24, 2026Updated 3 weeks ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆132Dec 20, 2024Updated last year
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆76Updated this week
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- An error-tolerant live programming environment (my Master's thesis)☆20Jul 25, 2022Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago