165 Open source projects that are alternatives of or similar to AlgebraicRelations.jl

Relational Algebra Interpreter writting in Python and Qt

Relational data pipelines for the science lab

Union, Intersect, and Difference set operations for ActiveRecord (also, SQL's UnionAll).

Functional programming great resources

BDD-based implementation of Datalog

A ReasonML/Ocaml library for category theory and abstract algebra

RA (radb): A relational algebra interpreter over relational databases

Educational tool for relational algebra

Open book about math and computer science.

A DSL for the internal language of a topos

All curricular materials for Bootstrap course modules

Notes (in literate Haskell) from reading Category Theory for Programmers by Bartosz Milewski

[Experimental] LLVM-accelerated Generic Linear Algebra Subprograms

A graphical editor for graph-like structures

Autumn 2017. A simple implementation of relational database with query optimization as the course project of Principles and Design of Database System, Renmin University of China.

Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers

brModeloWeb is a free open source entity-relationship database modeling tool. We try to make learning database modeling simple and accessible for everyone.

My undergradate thesis on coinductive types in univalent type theory

Finite fields for Julia

A partial binary associative operator (appendMaybe :: a → a → Maybe a)

Curso de Álgebra Lineal

Relational database data generator..

Solu Framework is a full featured, ORM-backed, isomorphic framework using RPython, Pouch/CouchDB and React.

A formalization of category theory in cubical Agda

Fast and safe evaluation of algebraic expressions

Fast [co]product types with a clean syntax. For Cats & Scalaz.

Category theory formalized in cubical agda

Category Theory For Programmers (Bartosz Milewski)

Este repositorio esta basado principalmente en la carrera de machine learning y data science de platzi pero también habrán recursos de otras plataformas e instituciones educativas.

Algebraic Graphs in Scala

Scala library to describe sharded and event sourced entities using tagless-final algebras

Generaptr is a node package that helps when starting up a project by generating boilerplate code for Express api.

Category Theory for Programmers の勉強記録

Tab vs spaces, vim vs emacs, types vs tests, our community is full of these conflicts. In this talk, we'll explore the latter: what is the impact of types in our programs? Can types help write more efficient tests? If so, how?

Starting code and proposed solution for Functional Structures Refactoring Kata

algebraic expressions parsing and evaluation through a property system based algorithm

Code samples for #monadicmonday topics

Career explorer platform developed in React.js in 6 days.

Reference Architectures for Relational Databases on AWS

A categorical semantics library in Agda.

Symbolic parser generator for Julia language expressions using REDUCE algebra term rewriter

Pure Math in Pure Swift.

Symbolic computation using SymPy and various applications

Linear algebra library for Rust.

Learn mathematics behind machine learning and explore different mathematics in machine learning.

☕️ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

C3T: Crash Course Category Theory - A friendly non-mathematician's approach to beginners of Category Theory. 🐱

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

'BirDayBer' is an application made for irresponsible people with friends or family birthdays like me. So it allows you to add birthdays and other minimal information to a database to notify you to remember them.

Quantum computing in your browser.

TypeDB: a strongly-typed database

Powerful modern math library for PHP: Features descriptive statistics and regressions; Continuous and discrete probability distributions; Linear algebra with matrices and vectors, Numerical analysis; special mathematical functions; Algebra

Univalent mathematics in Agda

Abstract algebra for Rust.

A completely browser-based e-assessment/e-learning system, with an emphasis on mathematics

Theory for algebra summer exam

PyLops – A Linear-Operator Library for Python

📗 A visualization of key structures in abstract algebra.

Simple computer algebra system

United Monoids