Alternatives and similar repositories for commutative-algebra:

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

• mratsim / monocle
  A lightweight interactive data visualization library
  ☆14Updated 5 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 4 years ago
• VincentToups / jkmeans
  An implementation of the clustering algorithm k-means in J.
  ☆13Updated 10 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• chrisroman / coc
  Calculus of Constructions Implementation
  ☆15Updated 5 years ago
• henrikurms / tail2futhark
  ☆18Updated 6 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated last year
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• tangentstorm / mandelbrowse
  A visual Mandelbrot set explorer written in J
  ☆11Updated 4 years ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• plaidgroup / plaid-lang
  The Plaid Programming Language Tools
  ☆11Updated 9 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• mratsim / nim-rmad
  Autograd (backpropagation, reverse-mode auto differentiation) in Nim
  ☆12Updated 7 years ago
• kevinlawler / kerf
  Kerf (Kerf2) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C++ and natively speaks…
  ☆26Updated 2 years ago
• Co-dfns / apixlib
  An Image Dictionary for Co-dfns
  ☆14Updated 7 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago
• status-im / nim-ttmath
  ☆13Updated last year
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago
• mxbi / better-whitespace
  World's best progamming language
  ☆16Updated 5 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆30Updated last year
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated 2 months ago
• racket / parser-tools
  ☆12Updated 2 months ago
• JohnAD / negamax
  negamax AI algorithm for turn-based games
  ☆13Updated 5 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago