icicle-lang / icicle-ambiataView external linksLinks
A streaming query language.
☆57Oct 20, 2020Updated 5 years ago
Alternatives and similar repositories for icicle-ambiata
Users that are interested in icicle-ambiata are comparing it to the libraries listed below
Sorting:
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 9 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 5 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated this week
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Dec 2, 2019Updated 6 years ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- Double-ended queues☆14Feb 3, 2025Updated last year
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 8 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- A DSL for asynchronous circuits specification☆13Oct 1, 2020Updated 5 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 7 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 8 years ago
- A monadic DSL for simple configuration parsing☆27Jun 4, 2025Updated 8 months ago
- ☆18Aug 31, 2022Updated 3 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
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Oct 22, 2023Updated 2 years ago
- ☆25Jan 5, 2026Updated last month
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- A geometric algebra implementation in Haskell☆32Sep 7, 2020Updated 5 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆107Jul 18, 2018Updated 7 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 8 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- fast clustering algorithms☆15Feb 13, 2019Updated 7 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)☆57Apr 10, 2022Updated 3 years ago