Algebraic data types for C99

Computer Algebra System in Javascript (Typescript)

Specification for common algebraic structures in JavaScript based on Fantasy Land

Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.

Algebraic graphs implementation in TypeScript

Additional accompaniment to Functional and Reactive Domain Modeling

Algebraic structures for untyped Racket

Get all your structure and rip it apart.

Algebraic Multigrid (AMG) Solver Library

Zorbage: algebraic data types and algorithms for use in numeric processing.

Conversions between algebraic classes and F-algebras.

Generate CAPTCHA from algebraic formula

Solvers for coupled linear algebraic equations with symmetric sparse matrices

MRHS solver - research tool for experimental algebraic cryptanalysis

Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).

Sources of papers on algebraic file synchronization (TeX, Python)

Algebraic Sum types for JavaScript.

Some very basic algebraic ideas and notions.

Consists of creating a calculator that transforms relational algebra into a sql query

A Go-based symbolic algebra engine for parsing, simplifying, and manipulating mathematical expressions. Designed for compilers, research tooling, and symbolic computation. A symbolic math expression simplifier and optimizer.

This is a project to store the practices of my Artificial Intelligence II course; it contains basic neural networks algorithms with python and a GUI for plotting the trainings.

Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)

A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.

Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)

Visual Math in Unity Engine.

Single-header library for vector, matrix, trigonometric and other mathematical functions.

To use NLP machine learning model along with Algebra to solve symbolic mathematics problems in a more general and smarter way, compared to and inspired by the project facebookresearch/SymbolicMathematics.