Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / konn / computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/konn%2Fcomputational-algebra
Stars: 92
Forks: 9
Open Issues: 6
License: bsd-3-clause
Language: HTML
Repo Size: 117 MB
Dependencies:
267
Created: over 11 years ago
Updated: 26 days ago
Last pushed: 12 days ago
Last synced: 12 days ago
Topics: algorithm, computational-algebra, groebner-basis, haskell, ideal, math, mathematics, polynomial
Funding links: https://github.com/sponsors/konn
Files
Loading...
Readme
Loading...
Dependencies
- algebra *
- algebraic-prelude *
- base >=4.7 && <5
- base *
- computational-algebra *
- factor-hensel *
- base * test
- factor-hensel * test
- MonadRandom *
- algebra *
- algebraic-prelude *
- base >=4.7 && <5
- containers *
- entropy *
- halg-factor *
- halg-polynomials *
- integer-roots *
- lens *
- mono-traversable *
- sized *
- base >=4.7 && <5
- halg-core *
- halg-polyn-parser *
- halg-polynomials *
- megaparsec >=7.0
- process-extras *
- semigroups *
- text *
- transformers *
- type-natural *
halg-core/halg-core.cabal
hackage
- ListLike * benchmark
- MonadRandom * benchmark
- algebra * benchmark
- algebraic-prelude * benchmark
- base >=4.7 && <5 benchmark
- constraints * benchmark
- containers * benchmark
- convertible * benchmark
- deepseq * benchmark
- equational-reasoning * benchmark
- foldl * benchmark
- gauge * benchmark
- ghc-typelits-knownnat * benchmark
- ghc-typelits-natnormalise * benchmark
- ghc-typelits-presburger >=0.4 benchmark
- halg-core * benchmark
- hashable * benchmark
- intern * benchmark
- lens * benchmark
- mono-traversable * benchmark
- reflection * benchmark
- singletons <3.0 benchmark
- singletons >=3.0 benchmark
- singletons-base * benchmark
- singletons-presburger >=0.4 benchmark
- sized * benchmark
- type-natural * benchmark
- unordered-containers * benchmark
- vector * benchmark
- vector-instances * benchmark
- ListLike *
- MonadRandom *
- algebra *
- algebraic-prelude *
- base >=4.7 && <5
- constraints *
- containers *
- convertible *
- deepseq *
- equational-reasoning *
- foldl *
- ghc-typelits-knownnat *
- ghc-typelits-natnormalise *
- ghc-typelits-presburger >=0.4
- hashable *
- intern *
- lens *
- mono-traversable *
- reflection *
- singletons <3.0
- singletons >=3.0
- singletons-base *
- singletons-presburger >=0.4
- sized *
- type-natural *
- unordered-containers *
- vector *
- vector-instances *
halg-factor/halg-factor.cabal
hackage
- MonadRandom * benchmark
- algebraic-prelude * benchmark
- base >=4.7 && <5 benchmark
- deepseq * benchmark
- gauge * benchmark
- halg-core * benchmark
- halg-factor * benchmark
- halg-galois-fields * benchmark
- halg-polynomials * benchmark
- MonadRandom *
- algebra *
- algebraic-prelude *
- arithmoi >=0.9
- base *
- base >=4.7 && <5
- containers *
- control-monad-loop *
- deepseq *
- dlist *
- fmlist *
- halg-core *
- halg-factor *
- halg-polynomials *
- integer-logarithms *
- lens *
- monad-loops *
- mono-traversable *
- mtl *
- primes *
- sized *
- type-natural *
- vector *
- HUnit * test
- MonadRandom * test
- QuickCheck >=2.12 test
- algebraic-prelude * test
- arithmoi * test
- base >=4.7 && <5 test
- containers * test
- halg-core * test
- halg-core-test * test
- halg-factor * test
- halg-galois-fields * test
- halg-polynomials * test
- hspec * test
- lens * test
- quickcheck-instances * test
- unordered-containers * test
- MonadRandom * benchmark
- QuickCheck * benchmark
- algebra * benchmark
- algebraic-prelude * benchmark
- base >=4.7 && <5 benchmark
- containers * benchmark
- deepseq * benchmark
- directory * benchmark
- filepath * benchmark
- gauge * benchmark
- halg-core * benchmark
- halg-core-test * benchmark
- halg-matrices * benchmark
- halg-polynomials * benchmark
- hmatrix * benchmark
- lens * benchmark
- matrix * benchmark
- monad-loops * benchmark
- mtl * benchmark
- parallel * benchmark
- primes * benchmark
- primitive * benchmark
- random * benchmark
- reflection * benchmark
- split * benchmark
- vector * benchmark
- MonadRandom *
- algebra *
- algebraic-prelude *
- base >=4.7 && <5
- containers *
- deepseq *
- halg-core *
- halg-polynomials *
- hmatrix *
- lens *
- matrix *
- monad-loops *
- mtl *
- parallel *
- primes *
- primitive *
- reflection *
- vector *
- algebraic-prelude *
- base >=4.7 && <5
- halg-core *
- megaparsec >=7.0
- parser-combinators >=1.1
- singletons <3.0
- singletons >=3.0
- singletons-base *
- text *
- type-natural *
- algebra *
- algebraic-prelude *
- base >=4.7 && <5
- containers *
- deepseq *
- equational-reasoning *
- ghc-typelits-knownnat *
- halg-core *
- hashable *
- heaps *
- lens *
- matrix *
- monad-loops *
- mono-traversable *
- reflection *
- singletons >=3.0
- singletons <3.0
- singletons-base *
- singletons-presburger *
- sized *
- text *
- type-natural *
- unamb *
- unordered-containers *
- vector *
- QuickCheck * test
- algebra * test
- algebraic-prelude * test
- base * test
- containers * test
- halg-core * test
- halg-core-test * test
- halg-polynomials * test
- hspec * test
- hspec-discover * test
- matrix * test
- sized * test
- vector * test
.github/workflows/haskell.yml
actions
- actions/cache v2 composite
- actions/checkout v2 composite
- actions/download-artifact v2 composite
- actions/upload-artifact v2.2.3 composite
- haskell/actions/setup v1 composite
.github/workflows/pages.yml
actions
- actions/github-script v5 composite
- peaceiris/actions-gh-pages v3 composite
- registry.gitlab.com/konn/computational-algebra/build-pre 0.6.0.0 build
- registry.gitlab.com/konn/computational-algebra/build-pre 0.6.0.0 build
- registry.gitlab.com/konn/computational-algebra/build-pre 0.6.0.0 build
- registry.gitlab.com/konn/computational-algebra/build-pre 0.6.0.0 build
- fpco/stack-build lts-14.20 build
dockerfiles/gha/Dockerfile
docker
- ubuntu 20.04 build
- algebra >=4.3
- algebra >=4.3.1
- algebraic-prelude *
- base *
- base >=4.7 && <5
- basic-prelude *
- lens >=4.0 && <5.2
- semigroups *
- MonadRandom *
- algebra *
- algebraic-prelude *
- base >=4.7 && <5
- deepseq *
- directory *
- equational-reasoning *
- ghc-typelits-presburger *
- halg-core *
- halg-polynomials *
- lens *
- monad-loops *
- reflection *
- singletons *
- sized *
- template-haskell *
- type-natural *
- vector *