iokasimov / yaLinks
Я - extremely composable embeddable programming language
☆106Updated last week
Alternatives and similar repositories for ya
Users that are interested in ya are comparing it to the libraries listed below
Sorting:
- 🚧 a work in progress effect system for Haskell 🚧☆139Updated 2 years ago
- A Haskell blog☆151Updated 3 months ago
- ☆142Updated this week
- Haskell Functional Reactive Programming framework with type-level clocks☆139Updated last week
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆68Updated 2 years ago
- 🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo☆50Updated 3 weeks ago
- Effects libraries in Haskell☆71Updated 2 years ago
- An unofficial Idris2 package repository for Nix☆47Updated 3 years ago
- Functional choreographic programming in Haskell☆114Updated 7 months ago
- Fast and concise extensible effects☆109Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆70Updated 2 years ago
- Distributors - Unifying Parsers, Printers & Grammars☆61Updated last month
- Source material for Certainty by Construction☆47Updated 2 years ago
- ☆58Updated 3 months ago
- Strongly-typed System F in Haskell☆120Updated 3 years ago
- A modern step-through debugger for GHC Haskell☆108Updated this week
- Compiling Agda code to readable Haskell☆197Updated last month
- A community-driven collection of documentation for Haskell error messages and warnings☆106Updated 2 weeks ago
- A curated list of awesome functional programming jobs.☆82Updated 3 months ago
- Tactic Metaprogramming in Haskell☆56Updated 6 years ago
- Compositional Representable Executable Machines☆122Updated 2 months ago
- Best practices on how to be efficient with Haskell in production☆115Updated last month
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆110Updated last month
- Source material for Algebra-Driven Design☆157Updated 2 years ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆76Updated last week
- ☆142Updated last month
- Haskell embedding of PlusCal☆62Updated 3 years ago
- ☆107Updated 3 weeks ago
- The Haskell Foundation Tech Proposal Process☆71Updated 4 months ago
- ☆41Updated 2 years ago