project-m36
by agentm
Project: M36 Relational Algebra Engine
AI summary
Relational Algebra Engine
A Haskell-based relational algebra engine that supports multiple frontends and adheres to mathematically-sound design principles.
- stars
- 905
- forks
- 47
- watching
- 34
Similar projects
Found by comparing what the projects do, not just their names.
nkallen/arel269
Query builder
A framework for building relational algebra in Ruby to simplify and standardize SQL queries across various databases.
Query generator
Generates joined queries from type-level algebra and maps between SQL value lists and Haskell records
daly/axiom369
Math engine
A computer algebra system that provides a powerful environment for mathematical computations and problem-solving.
Matrix library
A Haskell-based library for algebraic construction and manipulation of matrices
Chess Engine
A chess engine written in Frege, aiming to implement a functional algorithmic approach to playing the game of chess.
Relation algebra library
A library providing modular and axiom-free decision procedures for relation algebra theories in Coq.
Haskell tutorial
A collection of Haskell code examples and resources illustrating the language's features and programming techniques.
Haskell InfluxDB Client
An InfluxDB client library written in Haskell
Linear algebra library
A linear algebra library for the Rust programming language, providing low-level and high-level routines for efficient matrix operations.
Rules engine
A modular rules engine for reactive systems with broad applicability
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
DB schema automator
Automates the process of managing and synchronizing database schema definitions as code
Query engine
Distributed query engine for Apache DataFusion applications
Search Engine
A Ruby gem providing fulltext search capabilities for ActiveRecord models using built-in RDBMS indices.
Haskell relational framework
An exploration of relational programming in Haskell with a focus on language and tooling
