K3

Data system builder

Builds large-scale data systems by separating design and implementation concerns with a high-level, declarative language framework.

K3: A Declarative Data Systems Programming Framework

GitHub

15 stars
20 watching
2 forks
Language: Haskell
last commit: about 10 years ago

Related projects:

RepositoryDescriptionStars
mstksg/autoProvides a declarative API for creating discrete-step, locally stateful interactive programs and automations180
hudsonb/kubedA Kotlin-based DSL for creating interactive data visualizations through data-driven transformations of the JavaFX scenegraph.74
fumieval/extensibleProvides tools and abstractions for building complex, adaptable data structures in Haskell129
haskell/hooplA library that provides a modular and reusable framework for dataflow analysis and transformation in programming languages73
valderman/seldaA type-safe, high-level interface for interacting with relational databases in Haskell.478
soostone/katipA structured logging framework for Haskell applications205
input-output-hk/haskell.nixAutomates translation of Haskell projects into Nix code565
nicholashauschild/kotlin-rdfA library providing a set of domain-specific language (DSL) constructs to create and query RDF graphs.4
sillsdev/wesayA dictionary-building platform for language communities.18
tov/dssl2A language and framework for teaching data structures concepts in Racket.9
owickstrom/gi-gtk-declarativeA Haskell package providing a declarative programming framework for building GTK+ applications.288
superstar64/aithA language project that aims to create a systems programming language with a strong emphasis on type systems and advanced features like levity polymorphism, first-class inline functions, linear types, and effectful regions.64
pa-ba/compdataA Haskell library for creating and manipulating compositional data types in a modular and flexible way89
bodigrim/linear-builderProvides efficient and scalable builder functionality for working with text data in Haskell.88
eudoxia0/cmacroProvides a set of reusable code transformations and abstractions for writing domain-specific languages (DSLs) in C.887