project-m36
Relational Algebra Engine
A Haskell-based relational algebra engine that supports multiple frontends and adheres to mathematically-sound design principles.
Project: M36 Relational Algebra Engine
905 stars
34 watching
47 forks
Language: Haskell
last commit: almost 2 years agohaskellrelational-algebra
Related projects:
| Repository | Description | Stars |
|---|---|---|
 nkallen/arel | A framework for building relational algebra in Ruby to simplify and standardize SQL queries across various databases. | 269 |
 khibino/haskell-relational-record | Generates joined queries from type-level algebra and maps between SQL value lists and Haskell records | 233 |
 daly/axiom | A computer algebra system that provides a powerful environment for mathematical computations and problem-solving. | 369 |
 bolt12/laop | A Haskell-based library for algebraic construction and manipulation of matrices | 83 |
 ingo60/frech | A chess engine written in Frege, aiming to implement a functional algorithmic approach to playing the game of chess. | 0 |
 damien-pous/relation-algebra | A library providing modular and axiom-free decision procedures for relation algebra theories in Coq. | 48 |
 mzero/haskell-amuse-bouche | A collection of Haskell code examples and resources illustrating the language's features and programming techniques. | 114 |
 maoe/influxdb-haskell | An InfluxDB client library written in Haskell | 54 |
 sarah-quinones/faer-rs | A linear algebra library for the Rust programming language, providing low-level and high-level routines for efficient matrix operations. | 1,891 |
 paranim/pararules | A modular rules engine for reactive systems with broad applicability | 143 |
 coq-community/atbr | A Coq library providing algebraic tools and tactics for working with binary relations | 23 |
 courseorchestra/2bass | Automates the process of managing and synchronizing database schema definitions as code | 42 |
 apache/datafusion-ballista | Distributed query engine for Apache DataFusion applications | 1,580 |
 mrkamel/search_cop | A Ruby gem providing fulltext search capabilities for ActiveRecord models using built-in RDBMS indices. | 828 |
 ekmett/guanxi | An exploration of relational programming in Haskell with a focus on language and tooling | 257 |