mcmc-synthesis VS language-python

Compare mcmc-synthesis vs language-python and see what are their differences.

mcmc-synthesis

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

language-python

A parser for Python 2.x and 3.x written in Haskell (by bjpop)
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 language-python
- -
6 154
- -
0.0 2.7
about 10 years ago about 1 year ago
Haskell Python
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.

language-python

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

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

What are some alternatives?

When comparing mcmc-synthesis and language-python you can also consider the following projects:

aterm-utils - Utility functions for working with aterms as generated by Minitermite

liquid-fixpoint - Horn Clause Constraint Solving for Liquid Types

shentong - A Haskell implementation of the Shen programming language.

language-eiffel

elm-reactor

language-fortran - Haskell parser and manipulation functions for Fortran code

fortran-src - Fortran parsing and static analysis infrastructure

liquidhaskell - Liquid Types For Haskell

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

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

haskell-tools-ast - Developer tools for Haskell

lens-toml-parser - Lenses for toml-parser

mcmc-synthesis vs aterm-utils language-python vs liquid-fixpoint mcmc-synthesis vs shentong language-python vs language-eiffel mcmc-synthesis vs elm-reactor language-python vs language-fortran mcmc-synthesis vs fortran-src language-python vs liquidhaskell mcmc-synthesis vs tal language-python vs language-thrift mcmc-synthesis vs haskell-tools-ast language-python vs lens-toml-parser