algebras

There are 0 repository under algebras topic.

sreahw / schuller-geometric
Source code for lecture notes
algebras axioms bundles classification curves dynkin geometry homotopy lie logic manifolds notes physics sets topology truth
Language:TeX 136
burz / Feval
evaluation using f-algebras
haskell evaluation algebras category-theory functor interpreter
Language:Haskell 22
sjoerdvisscher / algebraic-classes
Conversions between algebraic classes and F-algebras.
haskell conversion algebraic signature algebras generics
Language:Haskell 10
digitalheir / semiring-js
💫 A library for working with ring-like algebraic structures that implements some common semirings
semiring javascript mathematics rig algebraic-structures algebras abstract-algebra tropical underflow log-semiring string-semiring probability-semiring algebra
Language:TypeScript 8
Risto-Stevcev / idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
idris heyting-algebras heyting algebra algebras join meet lattice semilattice lattices semilattices bounded
Language:Idris 5
superzhenhuali / zhmath
Programming for algebras, quantum groups(hecke clifford superalgebras), quivers.
quantum-groups algebras hecke-clifford quantum-queer-superalgebras hecke
Language:C 1