algebraic

There are 0 repository under algebraic topic.

hirrolot / datatype99
Algebraic data types for C99
type-system algebraic-data-types c99 sum-types reflection-library introspection variant adt algebraic tagged-unions pattern-matching metaprogramming derive metalang99
Language:C 1376
davidedc / Algebrite
Computer Algebra System in Javascript (Typescript)
javascript cas algebra symbolic-computation coffeescript javascript-cas algebraic-computation computer-algebra-system computer-algebra symbolic-manipulation symbolic algebraic math
Language:TypeScript 968
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
adt algebra algebraic algebraic-data-types fantasy-land functional-programming functor monad monoid specification static-land
Language:JavaScript 772
thma / PolysemyCleanArchitecture
Showcasing how the Polysemy library can be used to implement a REST application conforming to the guidelines of the Clean Architecture model.
clean-architecture haskell polysemy algebraic-effects domain-driven-design ports-and-adapters hexagonal-architecture onion-architecture servant warp persistence-layer io-monad testability architecture algebraic sqlite swagger-ui swagger-documentation polysemy-library polysemy-effects
Language:Haskell 191
algebraic-graphs / typescript
Algebraic graphs implementation in TypeScript
algebra algebraic fp fp-ts graph graphs
Language:TypeScript 129
debasishg / frdomain-extras
Additional accompaniment to Functional and Reactive Domain Modeling
algebraic cats ddd ddd-architecture ddd-patterns domain-driven-design monix scala tagless-final zio
Language:Scala 109
racket-algebraic
dedbox / racket-algebraic
Algebraic structures for untyped Racket
algebraic functional-programming racket
Language:Racket 75
iokasimov / apart
Get all your structure and rip it apart.
algebraic cofree persistence structures
Language:Haskell 30
huiscliu / sxamg
Algebraic Multigrid (AMG) Solver Library
algebraic algebraic-multi-grid amg amg-solvers fasp krylov linear-algebra multi-grid multigrid solver solver-library sparse-linear-solver sparse-linear-systems sparse-matrix
Language:C 20
bdezonia / zorbage
Zorbage: algebraic data types and algorithms for use in numeric processing.
java numerical-computation algebraic generic-programming multidimensional big-data scientific-computing procedural
Language:Java 10
sjoerdvisscher / algebraic-classes
Conversions between algebraic classes and F-algebras.
algebraic algebras conversion generics haskell signature
Language:Haskell 10
tormozz48 / algebraic-captcha
Generate CAPTCHA from algebraic formula
captcha image math algebraic equation formula express middleware typescript
Language:TypeScript 10
fedor1113 / SomeBasicMathsNotions
Some very basic algebraic ideas and notions.
algebra algebraic education educational educational-materials math mathematics mathjax mathml maths reference russian svg-images web website
Language:HTML 2
PetrKryslUCSD / SkylineSolvers.jl
Solvers for coupled linear algebraic equations with symmetric sparse matrices
coupled linear algebraic equations
Language:Julia 2
Simula-UiB / CRHS
Home of CryptaPath and PathFinder: Tools for algebraic cryptanalysis using CRHS (BDDs).
algebraic bdd binary-decision-diagram binary-decision-diagrams cryptanalysis cryptography cryptology crhs
Language:Rust 2
zajacpa / mrhs-solver
MRHS solver - research tool for experimental algebraic cryptanalysis
algebraic cryptanalysis mrhs research
Language:C 2
computationalabstraction / Styp
Algebraic Sum types for Javascript (beta)
javascript functional sum-types algebraic
Language:JavaScript 1
csirmaz / AlgebraicSyncPaper
Sources of papers on algebraic file synchronization (TeX, Python)
file-syncing synchronization algebraic
Language:TeX 1
$sqrtfractions$ goessl / sqrtfractions
A Python module to handle linear combinations of square roots exactly.
algebraic arbitrary-precision complement exact integer integer-arithmetic python python3 rational-numbers sum-of-radicals sumofradicals
Language:Python 0
pPomCo / coq-incomplete-games-rjcia2021
Coq proof of the generalized Howson-Rosenthal theorem: (transformation of an n-players incomplete game to an hypergraphical game)
coq uncertainty bayesian algebraic game theory hypergraphical succinct incomplete possibilistic
Language:Coq 0
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.
python numpy algebraic artificial-intelligence neural-network
Language:Python 0
csirmaz / AlgebraicSynchronizer
Implements some of the algorithms described in N. Ramsey and E. Csirmaz. An Algebraic Approach to File Synchronization, 2001 (OCaml)
filesystem synchronization algebraic
Language:OCaml
kev-aron-28 / relational-algebra-calculator
Consists of creating a calculator that transforms relational algebra into a sql query
algebraic converter docker java slq spring
Language:Java
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.
nlp-machine-learning symbolic-math algebra algebraic
Language:Jupyter Notebook
wendlerc / dlsp-sampling
A minimal implementation accompaning the paper "Sampling Signals on Meet/Join Lattices" to reproduce the results.
graph signal processing lattice meet join semilattice algebraic
Language:Jupyter Notebook