Я - extremely composable embeddable programming language
☆107Mar 1, 2026Updated 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
- Data structures for describing changes to other data structures.☆17Jan 19, 2025Updated last year
- ☆14Nov 4, 2025Updated 4 months ago
- ☆142Feb 27, 2026Updated last week
- Compiler for the fort programming language☆14Jun 30, 2025Updated 8 months ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 9 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆64Feb 26, 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 2 years ago
- The Hazy Haskell Compiler☆55Updated this week
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated last year
- ☆11Nov 2, 2021Updated 4 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- A lightweight integrating markup language☆16Feb 24, 2020Updated 6 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- A tutorial on how Agda infers things☆64Jul 10, 2025Updated 7 months ago
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 6 months ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 4 months ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Icicle Streaming Query Language☆28Jan 20, 2026Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Oct 1, 2025Updated 5 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 2 months ago
- Eventually a practical 2-level TT-based compiler☆32Feb 3, 2026Updated last month
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Oct 26, 2025Updated 4 months ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years 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☆78Updated this week
- Embeddable Lambda Prolog Interpreter☆350Updated this week
- A monadic approach to static analysis following the methodology of AAM☆18Oct 31, 2015Updated 10 years ago