๐ Live Open Source Explorer
Explore live open-source projects and AI models.
Search public open-source repositories from GitHub and AI models from Hugging Face. Every page shows 10 results with clean pagination.
๐ Live Search
Search live open-source data
Search GitHub repositories and Hugging Face models directly, then explore stars, downloads, source links and project details.
Live Results
GitHub Open Source Repositories
Search: abstract_algebra
Page 2
Showing 10 results from 31
warlock-labs/noether
GitHub Rust MIT LicenseModern, idiomatic, well documented abstract algebra for Rust
External source
GitHub
brendanzab/algebra
GitHub Rust Apache License 2.0Abstract algebra for Rust (still very much a WIP!)
External source
GitHub
wbhart/AbstractAlgebra.jl
GitHub Julia OtherGeneric abstract algebra functionality in pure Julia (no C dependencies)
External source
GitHub
typelift/Algebra
GitHub Swift MIT LicenseAbstract Algebraic Structures in Swift
External source
GitHub
narodnik/abstract-algebra-pinter-solutions
GitHub HTMLSolutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
External source
GitHub
typelift/Abstract
GitHub SwiftPractical Abstract Algebra in Swift
External source
GitHub
chakravala/AbstractTensors.jl
GitHub Julia MIT LicenseTensor algebra abstract type interoperability setup
External source
GitHub
gkikola/sol-dummit-foote
GitHub TeX Creative Commons Attribution Share Alike 4.0 InternationalSelected Solutions to Dummit and Foote's Abstract Algebra Third Edition
External source
GitHub
przemyslawjanpietrzak/pyMonet
GitHub Python MIT LicenseHigh abstract python library for functional programming. Contains algebraic data structures known (or unknown) from Haskell or Scala.
External source
GitHub
llee454/functional-algebra
GitHub Coq GNU Lesser General Public License v3.0This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package con... Read more
External source
GitHub
10 results on this page ยท 31 total found
Showing first 31 accessible GitHub results.