Alternatives and similar repositories for pomagma

Users that are interested in pomagma are comparing it to the libraries listed below

• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• atdt / snoflake
  A JavaScript runtime for the SNOBOL4 programming language
  ☆18Updated 3 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• bjodah / sym
  Unified interface to symbolic manipulation libraries in Python
  ☆9Updated 4 months ago
• JuliaIntervals / CRlibm.jl
  Correctly-rounded mathematical functions
  ☆8Updated 3 months ago
• art4711 / random-double
  An algorithm for generating random doubles.
  ☆12Updated 8 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆35Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆17Updated 5 years ago
• leihuang / infotopo0
  Information geometry and its extension information topology
  ☆10Updated 7 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• barak / lush
  git svn clone --stdlayoout https://lush.svn.sourceforge.net/svnroot/lush + suggestions + debianisation
  ☆21Updated 12 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• rtosholdings / riptide_cpp
  Multihreaded 64 bit c++ files for processing numba arrays
  ☆17Updated last year
• uqfoundation / pox
  utilities for filesystem exploration and automated builds
  ☆21Updated this week
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• mlochbaum / SingeliSort
  Sorting with Singeli
  ☆12Updated last month
• xnd-project / libndtypes
  Subsumed into xnd
  ☆25Updated 5 years ago
• art4711 / bmap_find
  finding set bits in large bitmaps
  ☆15Updated 9 years ago
• poulson / Clique
  A scalable implementation of the multifrontal method for symmetric and Hermitian systems (with intrafrontal pivoting)
  ☆19Updated 8 years ago
• domitry / matascii
  ASCII back-end for matplotlib
  ☆21Updated 9 years ago
• pablolessa / dibujos_hiperbolicos
  A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…
  ☆10Updated last year
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• davidar / stochaskell
  ☆13Updated 2 years ago
• metaborg / strategoxt
  The Stratego program transformation language
  ☆32Updated last month
• IBM / ibmgraphblas
  ibmgraphblas
  ☆27Updated 6 years ago
• Mortimerp9 / Prolog-Graphplan
  The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…
  ☆36Updated 10 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• asmuth-archive / libsmatrix
  thread-safe sparse matrix data structure
  ☆25Updated 11 years ago