algebras

There are 6 repositories under algebras topic.

sreahw/schuller-geometric
Source code for lecture notes
Language:TeX136 12 446
burz/Feval
evaluation using f-algebras
Language:Haskell22 2 03
sjoerdvisscher/algebraic-classes
Conversions between algebraic classes and F-algebras.
Language:Haskell10 4 0
digitalheir/semiring-js
💫 A library for working with ring-like algebraic structures that implements some common semirings
Language:TypeScript8 4 21
Risto-Stevcev/idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
Language:Idris5 3 2
superzhenhuali/zhmath
Programming for algebras, quantum groups(hecke clifford superalgebras), quivers.
Language:C1 2 01