Ecosyste.ms: Awesome

https://github.com/i-am-tom/fantas-eel-and-specification

Examples and exercises from the blog series

algebraic-structures example functional javascript typeclasses

Last synced: 10 Oct 2024

https://github.com/algebraicjulia/algebraicrelations.jl

Relational Algebra, now with more algebra!

algebra algebraic-structures category-theory relational relational-algebra relational-databases

Last synced: 12 Nov 2024

https://github.com/andreaferretti/emmy

algebra algebraic-structures concepts nim

Last synced: 14 Oct 2024

https://github.com/chakravala/fieldalgebra.jl

Field-algebra based on Group / Ring symbolic vector module extension

algebra algebraic-data-types algebraic-structures commutative-algebra computer-algebra group-theory julia math mathematics multivariate-polynomials polynomial-arithmetic polynomials vector

Last synced: 18 Nov 2024

https://github.com/sim642/ocaml-algebra

Small but neat OCaml library of (abstract) algebraic structures

algebra algebraic-structures coding-theory library ocaml ocaml-library university-of-tartu

Last synced: 30 Oct 2024

https://github.com/pthariensflame/agda-fumulas

An exploration of fumulas in Agda—a new perspective on ring theory

agda agda-lang agda-library algebraic-structures formal-proofs math mathematics ring-theory

Last synced: 24 Oct 2024

https://github.com/incertia/crypto-primer

intro to crypto given to my coworkers at AIS

algebra algebraic-structures cryptography dh diffie-hellman ecc ecdh rsa

Last synced: 29 Oct 2024

https://github.com/chakravala/fieldconstants.jl

Field algebra constant parametric type

algebra algebraic-data-types algebraic-structures computer-algebra constant julia math mathematics

Last synced: 18 Nov 2024