#
algebras
Here are 6 public repositories matching this topic...
evaluation using f-algebras
-
Updated
Sep 7, 2015 - Haskell
💫 A library for working with ring-like algebraic structures that implements some common semirings
javascript
algebra
mathematics
algebraic-structures
algebras
semiring
rig
abstract-algebra
tropical
underflow
log-semiring
string-semiring
probability-semiring
-
Updated
Mar 14, 2023 - TypeScript
Interfaces for heyting algebras and verified bounded join and meet semilattices
algebra
semilattices
idris
join
lattice
algebras
meet
lattices
heyting-algebras
heyting
semilattice
bounded
-
Updated
Nov 17, 2019 - Idris
Programming for algebras, quantum groups(hecke clifford superalgebras), quivers.
-
Updated
Apr 5, 2022 - C
Improve this page
Add a description, image, and links to the algebras topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the algebras topic, visit your repo's landing page and select "manage topics."