mcmc-synthesis VS aterm-utils

Compare mcmc-synthesis vs aterm-utils and see what are their differences.

mcmc-synthesis

MCMC applied to program synthesis (by jessica-taylor)
Language
Source Code
Suggest alternative
Edit details

aterm-utils

Utility functions for working with aterms as generated by Minitermite (by GaloisInc)
Language
Source Code
Suggest alternative
Edit details
InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
mcmc-synthesis aterm-utils
- -
6 2
- -
0.0 3.2
about 10 years ago 10 months ago
Haskell Haskell
GNU General Public License v3.0 only BSD 3-clause "New" or "Revised" License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

mcmc-synthesis

Posts with mentions or reviews of mcmc-synthesis. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning mcmc-synthesis yet.
Tracking mentions began in Dec 2020.

aterm-utils

Posts with mentions or reviews of aterm-utils. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning aterm-utils yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing mcmc-synthesis and aterm-utils you can also consider the following projects:

shentong - A Haskell implementation of the Shen programming language.

haskell-tools-ast - Developer tools for Haskell

elm-reactor

CoreErlang - AST, parser, pretty-printer for Core Erlang source code.

language-python - A parser for Python 2.x and 3.x written in Haskell

alga

fortran-src - Fortran parsing and static analysis infrastructure

language-thrift - Haskell parser for the Thrift IDL format.

tal - An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

lens-toml-parser - Lenses for toml-parser

language-ecmascript - Haskell library: ECMAScript parser, pretty-printer and additional tools

mcmc-synthesis vs shentong aterm-utils vs haskell-tools-ast mcmc-synthesis vs elm-reactor aterm-utils vs CoreErlang mcmc-synthesis vs language-python aterm-utils vs alga mcmc-synthesis vs fortran-src aterm-utils vs language-thrift mcmc-synthesis vs tal aterm-utils vs lens-toml-parser mcmc-synthesis vs haskell-tools-ast aterm-utils vs language-ecmascript