Additional accompaniment to Functional and Reactive Domain Modeling
-
Updated
May 13, 2024 - Scala
Additional accompaniment to Functional and Reactive Domain Modeling
Algebraic data types for C99
Zorbage: algebraic data types and algorithms for use in numeric processing.
MRHS solver - research tool for experimental algebraic cryptanalysis
Algebraic Multigrid (AMG) Solver Library
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
Computer Algebra System in Javascript (Typescript)
Generate CAPTCHA from algebraic formula
Algebraic Sum types for Javascript (beta)
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
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.
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
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.
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
Algebraic structures for untyped Racket
Sources of papers on algebraic file synchronization (TeX, Python)
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."