Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
-
Updated
Mar 29, 2014 - OCaml
Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
Get all your structure and rip it apart.
Some very basic algebraic ideas and notions.
Specification for common algebraic structures in JavaScript based on Fantasy Land
Sources of papers on algebraic file synchronization (TeX, Python)
Algebraic structures for untyped Racket
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
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.
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
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.
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
Algebraic Sum types for Javascript (beta)
Generate CAPTCHA from algebraic formula
Computer Algebra System in Javascript (Typescript)
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
Algebraic Multigrid (AMG) Solver Library
Add a description, image, and links to the algebraic topic page so that developers can more easily learn about it.
To associate your repository with the algebraic topic, visit your repo's landing page and select "manage topics."