Etlas, the build tool and package manager for the Eta programming language
☆63Nov 5, 2019Updated 6 years ago
Alternatives and similar repositories for etlas
Users that are interested in etlas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A set of patches to make Hackage compatible with the Eta language.☆64Aug 24, 2019Updated 7 years ago
- Want to propose changes to Eta?☆14Apr 2, 2018Updated 8 years ago
- Gradle plugin for the Eta programming language☆30Nov 6, 2021Updated 4 years ago
- An sbt plugin that integrates Eta into Scala projects.☆57May 6, 2019Updated 7 years ago
- A command line tool to automate the generation of ffi import code for the bindings of various Java libraries.☆18Dec 15, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Nix expressions to build Eta☆16Dec 3, 2018Updated 7 years ago
- Eta bindings to Kafka☆16Aug 17, 2017Updated 9 years ago
- Logging library to provide more convenient, extremely configurable but simple monadic interface with pretty output☆18Mar 4, 2020Updated 6 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Jul 8, 2018Updated 8 years ago
- Send textual messages to a Handle in a thread-friendly way☆29Aug 15, 2018Updated 8 years ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 5 years ago
- An Intellij Plugin for the Eta programming language☆48Oct 18, 2018Updated 8 years ago
- 2048 game clone using Yampa FRP library☆29Jul 25, 2018Updated 8 years 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.
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Example of using the servant web framework in Eta☆16Feb 5, 2018Updated 8 years ago
- Functional Vector Graphics☆17Jun 19, 2017Updated 9 years ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,639Jul 31, 2022Updated 4 years ago
- Simple example of using JDBC from Eta language☆10Jan 14, 2017Updated 9 years ago
- Useful resources for the Eta programming language☆63Sep 11, 2021Updated 5 years ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 5 years ago
- Generate Bokeh graphs using Haskell (WIP)☆11Aug 12, 2018Updated 8 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- Alternative API for processes, featuring more type safety☆118Apr 12, 2025Updated last year
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- A eta wrapper of dhall-haskell with the goal of provide a friendly java api over dhall☆28Nov 7, 2019Updated 6 years ago
- Code for the submitted TyDe '16 extended abstract and C∘mp∘se '17 talk "`choose` Your Own Derivative"☆19May 18, 2017Updated 9 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 4 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 7 years ago
- Decision procedures for Presburger arithmetic in Haskell☆30Mar 29, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 9 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- Maps using values' monoidal structure during merging☆43Jun 20, 2026Updated 4 months ago
- ☆25Jun 30, 2026Updated 4 months ago
- haskell memory☆49Aug 14, 2023Updated 3 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated 2 years ago