algebraic
There are 25 repositories under algebraic topic.
hirrolot/datatype99
Algebraic data types for C99
davidedc/Algebrite
Computer Algebra System in Javascript (Typescript)
fantasyland/static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
thma/PolysemyCleanArchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
algebraic-graphs/typescript
Algebraic graphs implementation in TypeScript
debasishg/frdomain-extras
Additional accompaniment to Functional and Reactive Domain Modeling
dedbox/racket-algebraic
Algebraic structures for untyped Racket
iokasimov/apart
Get all your structure and rip it apart.
huiscliu/sxamg
Algebraic Multigrid (AMG) Solver Library
sjoerdvisscher/algebraic-classes
Conversions between algebraic classes and F-algebras.
bdezonia/zorbage
Zorbage: algebraic data types and algorithms for use in numeric processing.
tormozz48/algebraic-captcha
Generate CAPTCHA from algebraic formula
fedor1113/SomeBasicMathsNotions
Some very basic algebraic ideas and notions.
PetrKryslUCSD/SkylineSolvers.jl
Solvers for coupled linear algebraic equations with symmetric sparse matrices
Simula-UiB/CRHS
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
zajacpa/mrhs-solver
MRHS solver - research tool for experimental algebraic cryptanalysis
computationalabstraction/Styp
Algebraic Sum types for Javascript (beta)
csirmaz/AlgebraicSyncPaper
Sources of papers on algebraic file synchronization (TeX, Python)
goessl/sqrtfractions
A Python module to handle linear combinations of square roots exactly.
pPomCo/coq-incomplete-games-rjcia2021
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
the-eternal-newbie/artificial-intelligence
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.
csirmaz/AlgebraicSynchronizer
Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
kev-aron-28/relational-algebra-calculator
Consists of creating a calculator that transforms relational algebra into a sql query
MRYingLEE/AlgebraicNLP
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.
wendlerc/dlsp-sampling
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.