Advanced Search Tips
Automatic Programming Editors: Bo Wu
    14 results in "Automatic Programming"
    clazzy Code
    https://github.com/thesquaregroot/clazzy
    A semi-natural-language code generation platform that can generate data structures in multiple progr...
    279 views
    Submitted by on Jul 15 2014
    http://www.demo.cs.brandeis.edu/pr/buildable/crane/
    We believe that not just the software, but also the physical body of a robot could be the result of ...
    574 views
    Submitted by on Jul 09 2014
    http://www.demo.cs.brandeis.edu/pr/evo_design/evo_design.html#genre_source
    Here we claim that for automatic design systems to scale in complexity the designs they produce must...
    302 views
    Submitted by on Jul 09 2014
    http://demo.cs.brandeis.edu/golem/
    In the Golem project (Genetically Organized Lifelike Electro Mechanics) we conducted a set of experi...
    567 views
    Submitted by on Jul 09 2014
    AI-Hacks Code
    https://github.com/Carrotlord/AI-Hacks
    Code written mostly by artificial intelligences. Maybe some human code involved, but not much.
    282 views
    Submitted by on Jun 18 2014
    http://www-ia.hiof.no/~rolando/index.html
    ADATE can automatically generate non-trivial and novel algorithms through large scale combinatorial ...
    483 views
    Submitted by on Jun 18 2014
    Jessie Code
    http://krakatoa.lri.fr/#jessie
    Jessie is a plugin of the Frama-C environment for static analysis of C code. It aims at deductive ve...
    276 views
    Submitted by on Jun 18 2014
    Krakatoa Code
    http://krakatoa.lri.fr/#krakatoa
    Krakatoa is a verification tool for Java programs. It is a tool from the Why platform for deductive ...
    285 views
    Submitted by on Jun 18 2014
    Mimik Code
    https://github.com/simoami/mimik
    Enables Agile story-writing allowing all stakeholders to describe how software should behave in natu...
    247 views
    Submitted by on Jun 24 2014
    nlp2json Code
    https://github.com/velniukas/nlp2json
    Convert a natural language query to a json schema.
    254 views
    Submitted by on Jun 24 2014