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...
1019 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 ...
1778 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...
1000 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...
1744 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.
909 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 ...
1644 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...
901 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 ...
884 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...
853 views
Submitted by
on Jun 24 2014 | |
|
nlp2json
Code
https://github.com/velniukas/nlp2json
Convert a natural language query to a json schema.
840 views
Submitted by
on Jun 24 2014 |