A simple to-do web application in Eta using Spock web framework and Lucid DSL
☆17Jul 29, 2018Updated 7 years ago
Alternatives and similar repositories for eta-todo
Users that are interested in eta-todo are comparing it to the libraries listed below
Sorting:
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Arteria is a high performance message channel system for IPC and network communication☆12Jun 21, 2017Updated 8 years ago
- GHC plugin to make stream fusion more predictable☆18Dec 4, 2025Updated 3 months ago
- musl libc experiment☆12Jan 15, 2019Updated 7 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 7 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- A Whitespace-Based Dependently Typed Functional Programming Language☆16Mar 29, 2017Updated 8 years ago
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 4 years ago
- An example of a multiplayer game server in Scala☆18Mar 12, 2019Updated 6 years ago
- ☆24May 22, 2020Updated 5 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Oct 28, 2019Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Haskell simulations of spacecraft manoeuvres☆19Jun 24, 2020Updated 5 years ago
- Automated nomic☆17Mar 20, 2019Updated 6 years ago
- This is not the Git repo you're looking for...☆25Jul 23, 2019Updated 6 years ago
- A pkg-config wrapper exposing nixpkgs packages☆26Nov 27, 2021Updated 4 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 years ago
- eta-spark is a library that provides complete bindings for Apache Spark☆21Sep 13, 2018Updated 7 years ago
- An Intellij Plugin for the Eta programming language☆51Oct 18, 2018Updated 7 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Jan 20, 2020Updated 6 years ago
- So, you want to write a DSL interpreter...☆25Nov 20, 2018Updated 7 years ago
- A purity and nullability analysis tool for Java.☆26Aug 9, 2018Updated 7 years ago
- Simplified interface to the GHC API☆22Apr 4, 2019Updated 6 years ago
- Minimal Haskell Compiler☆63Mar 26, 2018Updated 7 years ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Safe web routing in haskell☆30Apr 25, 2023Updated 2 years ago
- A magic typeclass that just does it☆126Aug 1, 2022Updated 3 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 3 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- Library and macros to simplify writing Haskell FFI code☆40Dec 4, 2022Updated 3 years ago
- Gradle plugin for the Eta programming language☆29Nov 6, 2021Updated 4 years ago
- Github bot for keeping your Bazel dependencies up-to-date and clean☆27Mar 20, 2020Updated 5 years ago
- Chris Okasaki’s Purely Functional Data Structures in Scala☆32Oct 19, 2012Updated 13 years ago