Explicit Sharing of Monadic Effects
☆13Jun 30, 2011Updated 15 years ago
Alternatives and similar repositories for explicit-sharing
Users that are interested in explicit-sharing 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 list arrows.☆11Jan 7, 2023Updated 3 years ago
- Deprecated in favor of...☆17Jul 24, 2011Updated 15 years ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 6 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆15Jul 30, 2010Updated 16 years ago
- Simple, Incremental SAT Solving as a Haskell Library☆15Aug 31, 2016Updated 10 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.
- Tools for GNU Radio interferometry at Allen Telescope Array☆15Feb 20, 2022Updated 4 years ago
- Send metrics to Ganglia, Graphite, and statsd☆17Jan 29, 2015Updated 11 years ago
- pointed and copointed data☆24Mar 3, 2025Updated last year
- Extremely unofficial mirror of HDF5 releases☆11Jan 26, 2014Updated 12 years ago
- An optimal function evaluator written in JavaScript.☆139Jul 25, 2017Updated 9 years ago
- An experimental Haskell library for programming with effectful runners.☆30Dec 6, 2019Updated 6 years ago
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- Low-level Haskell FFI bindings to the HDF5 library☆14Nov 16, 2013Updated 12 years ago
- A Java library for typed access to property files☆14Jan 26, 2026Updated 9 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- OpenCL raw wrapper for Haskell☆15Sep 8, 2011Updated 15 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Import of Bernhard Oemer's Quantum Computer Language simulator.☆15Apr 17, 2013Updated 13 years ago
- A Parser Generator and Metacompiler☆11Feb 8, 2013Updated 13 years ago
- npm packages done right☆11Oct 23, 2016Updated 10 years ago
- Haskell library for manipulating and evaluating polynomials☆20Feb 24, 2022Updated 4 years ago
- Python notes☆10Aug 13, 2022Updated 4 years ago
- Basic chat functionality for Bukkit☆15Jan 13, 2013Updated 13 years ago
- A TODO list feature for DrRacket, like to Agda's goal list but for any language.☆33Jul 1, 2023Updated 3 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.
- A language with dependent types☆19Oct 7, 2011Updated 15 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- An implementation of µKanren for Pharo☆12Mar 1, 2015Updated 11 years ago
- GolfScript interpreter in Rust☆11Jul 7, 2024Updated 2 years ago
- Very trivial template engine☆11Nov 27, 2023Updated 2 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- B-Splines, other splines, and NURBS in Haskell.☆22Feb 27, 2018Updated 8 years ago
- ☆12May 10, 2017Updated 9 years ago
- Example of using Haste and React.js to implement TodoMVC☆14Jun 26, 2014Updated 12 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.
- Export pictures in Apple's Aperture to Facebook.☆17Feb 14, 2013Updated 13 years ago
- Modal editing witch, VI interpreter☆11Aug 18, 2026Updated 2 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Lens Proposal for a Haskell-like Language☆14Jul 13, 2012Updated 14 years ago
- Basic circuit pack, including clock, counter, logic gates, arithmetics, serial and wireless communication, pixel and print☆16Sep 23, 2023Updated 3 years ago
- Derive a simple control panel interface for your data using eframe::egui☆10Jun 26, 2023Updated 3 years ago
- ☆21Mar 30, 2022Updated 4 years ago