☆11Nov 5, 2015Updated 10 years ago
Alternatives and similar repositories for lambda-except
Users that are interested in lambda-except are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell Standard Input and Output☆46May 13, 2018Updated 8 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- ☆14Sep 24, 2017Updated 9 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- ☆20Jul 3, 2023Updated 3 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.
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 9 years ago
- An attempt at porting my space invaders game, originally written in Clojure, to PureScript☆12Dec 31, 2015Updated 10 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- ☆11Jul 2, 2024Updated 2 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 9 months ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 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.
- Haskell API for finding and accessing data from Wikipedia.☆14Dec 16, 2014Updated 11 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- Servant combinators for writing secure GitHub webhooks☆17Aug 23, 2023Updated 3 years ago
- Apply PureScript compiler suggestions to fix warnings☆26Feb 20, 2024Updated 2 years ago
- android app example linked with haskell library using android NDK☆33Jul 22, 2016Updated 10 years ago
- Fast unboxed references for ST and IO monad☆15Jul 17, 2017Updated 9 years ago
- http terminal based on butterfly☆18Sep 6, 2016Updated 10 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 11 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- A text editor zipper libary☆22Nov 15, 2024Updated last year
- Setting up an Idris dev environment on Windows☆15Dec 8, 2019Updated 6 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- A new all Haskell "tagged" DFA regex engine, inspired by libtre☆45Oct 19, 2019Updated 7 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- ☆41Jul 2, 2017Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/☆27Jun 9, 2023Updated 3 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- An efficient finite map from (byte)strings to values.☆20Oct 1, 2026Updated 3 weeks ago
- Simple schema migration manager for Haskell☆14Jan 26, 2021Updated 5 years ago
- A simple UI for evaluating expressions in the untyped lambda calculus☆56Nov 22, 2025Updated 11 months ago
- Experimental record formatting from type-level format strings☆24Jul 23, 2023Updated 3 years ago
- Install Stack without internet access☆18Oct 29, 2017Updated 9 years ago