rhodiumdb / rhodium
A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly efficient.
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for rhodium
- Vector builder☆15Updated 11 months ago
- sliding fast fourier transform using haskell streaming☆13Updated 5 years ago
- Read ghc-core with style. javascript and CSS style.☆13Updated 9 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…☆21Updated 5 years ago
- Simplify and render Template Haskell☆18Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Deriving Storable instances using GHC.Generics☆15Updated 2 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- ☆10Updated 6 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Cursor data and manipulation☆21Updated 11 months ago
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago
- Visualization of Haskell data structures☆14Updated 9 months ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Updated 7 years ago
- Example usage of the Haskell C FFI with hsc2hs☆11Updated 6 years ago
- ☆8Updated 3 years ago
- Haskell dynamic RTS loader☆13Updated 8 years ago
- Code to go along with the blog post "Are Mutable References in Haskell Fast?"☆10Updated 7 years ago
- ☆18Updated 2 years ago
- A concurrent mutable ring-buffer☆12Updated last month
- A plugin for circuit notation☆11Updated 3 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 6 years ago
- Regular expressions of types☆16Updated 6 years ago
- ☆10Updated 10 months ago
- A general abstraction for manipulating elements of container data structures☆11Updated last year
- Robust persistence for typed immutable data☆18Updated 8 years ago
- A GLFW-b adapter for the Haskell Reflex FRP implementation.☆10Updated 5 years ago