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

Conversions between algebraic classes and F-algebras.

Generate CAPTCHA from algebraic formula

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

MRHS solver - research tool for experimental algebraic cryptanalysis

Solvers for coupled linear algebraic equations with symmetric sparse matrices

Some very basic algebraic ideas and notions.

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

Algebraic Sum types for Javascript (beta)

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

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)