Sample project to compare how side-effects can be managed and tested in Haskell
☆25Apr 17, 2025Updated 10 months ago
Alternatives and similar repositories for lambda-library
Users that are interested in lambda-library are comparing it to the libraries listed below
Sorting:
- Fast, experimental effect handlers with delimited control☆21Jan 1, 2024Updated 2 years ago
- https://github.com/gothinkster/realworld☆36Dec 5, 2025Updated 3 months ago
- The UI for Unison Share☆34Feb 26, 2026Updated last week
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization☆60Dec 28, 2025Updated 2 months ago
- A package index for the Haskell ecosystem☆148Updated this week
- A nix flake for simplifiying the packaging of elm projects, inspired by elm2nix.☆41Updated this week
- Production ready, modern web-application starter template using haskell and htmx☆97Jun 10, 2025Updated 8 months ago
- An SBT Plugin that acts as a light wrapper around Buf.☆10Oct 29, 2024Updated last year
- All-in-one car management and tuning hub for DIY mechanics and car enthusiasts.☆20Aug 26, 2025Updated 6 months ago
- ☆15Nov 26, 2025Updated 3 months ago
- An UI for biographical timelines☆22Jun 3, 2025Updated 9 months ago
- Display xkcd comics instantly in your terminal or over HTTP, with full graphics support and zero setup.☆16Jul 27, 2025Updated 7 months ago
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- Demo applications for elm-serverless.☆11Jan 9, 2026Updated last month
- A monad-transformer analogue to the Scala ZIO library (basically, UIO + Reader + Either)☆10Mar 16, 2021Updated 4 years ago
- JSON logging using monad-logger interface☆12Mar 16, 2024Updated last year
- Persistent USB & VirtualBox NixOS System Configuration Files☆10Dec 29, 2014Updated 11 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- S3-native streaming platform. A Kafka alternative with infinite scalability, 10x lower cost, and Kafka-compatible APIs. Written in Rust.☆41Feb 27, 2026Updated last week
- Broadcast Kafka messages using web sockets, ZIO playground☆10Nov 13, 2023Updated 2 years ago
- ☆13Sep 7, 2024Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- My .config setup for arch linux hyprland used in my work follow☆22Dec 7, 2025Updated 2 months ago
- Template for an elm-land app with ports and tailwind, devenv for local dev/CI, deployed to lamdera☆12Oct 27, 2024Updated last year
- NixOS Build and Deployment Tool with Configuration Sanity Checking Capabilities [maintainer=@tfc]☆13Sep 18, 2025Updated 5 months ago
- [Depreacted] Use rxjs-hooks or observable-hooks or something others☆11Jul 20, 2020Updated 5 years ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- Code from CS152 lectures☆14Feb 27, 2026Updated last week
- 爬取百度贴吧，从中获取所有 提到的流行小说名字，根据出现次数判断小说流行度☆11Dec 27, 2014Updated 11 years ago
- Yjs Gleam Bindings☆10Jan 2, 2026Updated 2 months ago
- GenericPersistence is a Haskell persistence library for relational databases. The approach relies on GHC.Generics. A real-world demo can …☆13Dec 12, 2025Updated 2 months ago
- Soar with Haskell, Published by Packt☆14Jan 10, 2024Updated 2 years ago
- Library code for upcoming RetroClash book☆10Feb 22, 2025Updated last year
- 🔗 Auto generate remote repository link for Neovim written in Lua☆12Feb 14, 2024Updated 2 years ago
- A plugin for working with Aiken on Vim / NeoVim.☆14Dec 5, 2025Updated 3 months ago
- Meta-programming utilities for Agda.☆20Aug 5, 2025Updated 7 months ago
- Write scripts in compiled languages that run in the Nix ecosystem, without separate build step☆16Oct 8, 2025Updated 4 months ago
- NixCon 2025 Workshop: Mastering NixOS Integration Tests: Advanced Techniques for Fast and Robust Multi-VM Tests☆16Updated this week