Alternatives and similar repositories for commutative-algebra:

Users that are interested in commutative-algebra are comparing it to the libraries listed below

• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• mratsim / monocle
  A lightweight interactive data visualization library
  ☆14Updated 5 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• mratsim / nim-rmad
  Autograd (backpropagation, reverse-mode auto differentiation) in Nim
  ☆12Updated 7 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆59Updated 4 years ago
• status-im / nimbus-launch
  Jumpstart your Nim project at Status
  ☆11Updated 5 years ago
• alehander92 / nim-quicktest
  A quickcheck library for Nim
  ☆19Updated 4 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆41Updated 3 weeks ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• HuwCampbell / zebra
  Column-oriented binary format for immutable datasets
  ☆9Updated 4 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 8 months ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• langston-barrett / write-yourself-a-scheme-in-agda
  Like "Write Yourself a Scheme in 48 Hours", but in Agda
  ☆52Updated 6 years ago
• JohnAD / negamax
  negamax AI algorithm for turn-based games
  ☆13Updated 5 years ago
• mratsim / jitterland
  Experiments in lexing, parsing, interpreting, VM and JITs
  ☆9Updated 6 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated this week
• makingspace / cittadino
  ☆12Updated 5 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆73Updated 12 years ago
• owlbarn / eigen
  Owl's OCaml Interface to Eigen3 C++ Library
  ☆33Updated 2 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• racket / parser-tools
  ☆12Updated 3 months ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆18Updated 6 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆34Updated 2 months ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago