OWASP - User contributions [en]

Projects/Opa/GPC/Assessment/Build 687

2011-12-09T10:10:55Z

Adam Koprowski: Created page with "{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Release Rating</noinclude> | rating = -1 | criteria_version= 2 | project_name= Opa | release_name= Build 687 }} <noinclude..."

{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Release Rating</noinclude>
| rating = -1
| criteria_version= 2
| project_name= Opa
| release_name= Build 687
}}
<noinclude>[[Category: Release Assessment]]</noinclude>

Projects/Opa

2011-12-09T10:10:04Z

Adam Koprowski:

{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Project About</noinclude>

| project_name = Opa

| project_home_page = Opa

| project_description = Usher in a new generation of web development tools and methodologies.

| project_license = [http://www.gnu.org/licenses/agpl-3.0.html AfferoGPL]

| leader_name1 = Henri Binsztok
| leader_email1 = Henri.Binsztok@mlstate.com
| leader_username1 = Henri Binsztok

| leader_name2 = Adam Koprowski
| leader_email2 = Adam.Koprowski@mlstate.com
| leader_username2 = Adam Koprowski

| contributor_name1 =
| contributor_email1 =
| contributor_username1 =

| contributor_name2 =
| contributor_email2 =
| contributor_username2 =

| pamphlet_link =

| presentation_link =

| mailing_list_name = https://lists.owasp.org/mailman/listinfo/opa

| project_road_map = https://www.owasp.org/index.php/Opa/Roadmap

| links_url1 = https://www.owasp.org/index.php/Opa/Contributors
| links_name1 = List of Project Contributors

| links_url2 = http://opalang.org
| links_name2 = http://opalang.org

| links_url[3-10] =
| links_name[3-10] =

| release_1 = Build 218
| release_2 = Build 687
| release_3 =
| release_4 =

| project_about_page = Projects/Opa
}}

[[Category:OWASP_Project|Opa]] [[Category:OWASP_Document]] [[Category:OWASP_Download]]

Projects/Opa/Releases/Build 687

2011-12-09T10:09:23Z

Adam Koprowski: Created page with "{{Template: <includeonly>{{{1}}}</includeonly><noinclude>Release About</noinclude> | project_name = Opa | project_home_page = http://opalang.org | release_name = Build 687 | rele..."

{{Template: <includeonly>{{{1}}}</includeonly><noinclude>Release About</noinclude>
| project_name = Opa
| project_home_page = http://opalang.org
| release_name = Build 687
| release_date = 04/10/2011
| release_description = Download Opa - Everything you need to start with Opa, in one package: programming language, runtime environment, database management system, web server, documentation, tools.
| release_license = [http://www.gnu.org/licenses/agpl.html GNU Affero General Public License (AGPL)]
| release_download_link = http://opalang.org/get.xmlt

| leader_name1 = Henri Binsztok
| leader_email1 = Henri.Binsztok@mlstate.com
| leader_username1 = Henri Binsztok

| leader_name2 = Adam Koprowski
| leader_email2 = Adam.Koprowski@mlstate.com
| leader_username2 = Adam Koprowski

|release_notes = http://opalang.org/resources/book/index.html#Getting_Opa
}}

Projects/Opa/Releases/Current

2011-12-09T10:08:57Z

Adam Koprowski: Redirected page to Projects/Opa/Releases/Build 687

#REDIRECT [[Projects/Opa/Releases/Build 687]]

Projects/Opa/Releases/Current

2011-12-09T10:08:23Z

Adam Koprowski: Redirected page to Projects/Opa/Releases/Build 218

#REDIRECT [[Projects/Opa/Releases/Build 218]]

Projects/Opa

2011-12-09T10:07:55Z

Adam Koprowski:

{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Project About</noinclude>

| project_name = Opa

| project_home_page = Opa

| project_description = Usher in a new generation of web development tools and methodologies.

| project_license = [http://www.gnu.org/licenses/agpl-3.0.html AfferoGPL]

| leader_name1 = Henri Binsztok
| leader_email1 = Henri.Binsztok@mlstate.com
| leader_username1 = Henri Binsztok

| leader_name2 = Adam Koprowski
| leader_email2 = Adam.Koprowski@mlstate.com
| leader_username2 = Adam Koprowski

| contributor_name1 =
| contributor_email1 =
| contributor_username1 =

| contributor_name2 =
| contributor_email2 =
| contributor_username2 =

| pamphlet_link =

| presentation_link =

| mailing_list_name = https://lists.owasp.org/mailman/listinfo/opa

| project_road_map = https://www.owasp.org/index.php/Opa/Roadmap

| links_url1 = https://www.owasp.org/index.php/Opa/Contributors
| links_name1 = List of Project Contributors

| links_url2 = http://opalang.org
| links_name2 = http://opalang.org

| links_url[3-10] =
| links_name[3-10] =

| release_1 = Build 218
| release_2 =
| release_3 =
| release_4 =

| project_about_page = Projects/Opa
}}

[[Category:OWASP_Project|Opa]] [[Category:OWASP_Document]] [[Category:OWASP_Download]]

Projects/Opa/Releases/Current

2011-12-09T10:03:07Z

Adam Koprowski: Redirected page to Projects/Opa/Releases/Build 687

#REDIRECT [[Projects/Opa/Releases/Build 687]]

Projects/Opa

2011-12-09T10:01:40Z

Adam Koprowski:

Projects/Opa/Releases/Build 218

2011-07-18T11:18:08Z

Adam Koprowski:

{{Template: <includeonly>{{{1}}}</includeonly><noinclude>Release About</noinclude>
| project_name = Opa
| project_home_page = http://opalang.org

| release_name = Build 218
| release_date = 08/07/2011
| release_description =
| release_license = [http://www.gnu.org/licenses/agpl.html GNU Affero General Public License (AGPL)]
| release_download_link = http://opalang.org/get.xmlt
}}

Projects/Opa/Releases/Current

2011-07-18T11:16:02Z

Adam Koprowski: Redirected page to Projects/Opa/Releases/Build 218

#REDIRECT [[Projects/Opa/Releases/Build 218]]

Projects/Opa

2011-07-18T10:57:10Z

Adam Koprowski:

{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Project About</noinclude>

| project_name = Opa

| project_home_page = Opa

| project_description = Usher in a new generation of web development tools and methodologies.

| project_license = [http://www.gnu.org/licenses/agpl-3.0.html AfferoGPL]

| leader_name1 = Henri Binsztok
| leader_email1 = Henri.Binsztok@mlstate.com
| leader_username1 = Henri Binsztok

| leader_name2 = Adam Koprowski
| leader_email2 = Adam.Koprowski@mlstate.com
| leader_username2 = Adam Koprowski

| contributor_name1 =
| contributor_email1 =
| contributor_username1 =

| contributor_name2 =
| contributor_email2 =
| contributor_username2 =

| pamphlet_link =

| presentation_link =

| mailing_list_name = https://lists.owasp.org/mailman/listinfo/opa

| project_road_map = https://www.owasp.org/index.php/Opa/Roadmap

| links_url1 = https://www.owasp.org/index.php/Opa/Contributors
| links_name1 = List of Project Contributors

| links_url2 = http://opalang.org
| links_name2 = http://opalang.org

| links_url[3-10] =
| links_name[3-10] =

| release_1 = Build 218
| release_2 =
| release_3 =
| release_4 =

| project_about_page = Projects/Opa
}}

[[Category:OWASP_Project|Opa]] [[Category:OWASP_Document]] [[Category:OWASP_Download]]

Projects/Opa/Releases/Build 218

2011-07-18T10:49:43Z

{{Template: <includeonly>{{{1}}}</includeonly><noinclude>Release About</noinclude>
| project_name = Opa
| project_home_page = http://opalang.org

| release_name = Opa Build 218
| release_date = 08/07/2011
| release_description =
| release_license = [http://www.gnu.org/licenses/agpl.html GNU Affero General Public License (AGPL)]
| release_download_link = http://opalang.org/get.xmlt
}}

Projects/Opa

2011-07-18T10:31:28Z

Adam Koprowski:

{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Project About</noinclude>

| project_name = Opa

| project_home_page = Opa

| project_description = Usher in a new generation of web development tools and methodologies.

| project_license = [http://www.gnu.org/licenses/agpl-3.0.html AfferoGPL]

| leader_name1 = Henri Binsztok
| leader_email1 = Henri.Binsztok@mlstate.com
| leader_username1 = Henri Binsztok

| leader_name2 = Adam Koprowski
| leader_email2 = Adam.Koprowski@mlstate.com
| leader_username2 = Adam Koprowski

| contributor_name1 =
| contributor_email1 =
| contributor_username1 =

| contributor_name2 =
| contributor_email2 =
| contributor_username2 =

| pamphlet_link =

| presentation_link =

| mailing_list_name = https://lists.owasp.org/mailman/listinfo/opa

| project_road_map = https://www.owasp.org/index.php/Opa/Roadmap

| links_url1 = https://www.owasp.org/index.php/Opa/Contributors
| links_name1 = List of Project Contributors

| links_url2 = http://opalang.org
| links_name2 = http://opalang.org

| links_url[3-10] =
| links_name[3-10] =

| release_1 = Build 218
| release_2 =
| release_3 =
| release_4 =

| project_about_page = Projects/Opa
}}

Projects/Opa

2011-07-14T22:39:59Z

Adam Koprowski:

{{Template:<includeonly>{{{1}}}</includeonly><noinclude>Project About</noinclude>

| project_name = Opa

| project_home_page = Opa

| project_description = Usher in a new generation of web development tools and methodologies.

| project_license = [http://www.gnu.org/licenses/agpl-3.0.html AfferoGPL]

| leader_name1 = Henri Binsztok
| leader_email1 = Henri.Binsztok@mlstate.com
| leader_username1 = Henri Binsztok

| leader_name2 = Adam Koprowski
| leader_email2 = Adam.Koprowski@mlstate.com
| leader_username2 = Adam Koprowski

| contributor_name1 =
| contributor_email1 =
| contributor_username1 =

| contributor_name2 =
| contributor_email2 =
| contributor_username2 =

| pamphlet_link =

| presentation_link =

| mailing_list_name = https://lists.owasp.org/mailman/listinfo/opa

| project_road_map = https://www.owasp.org/index.php/Opa/Roadmap

| links_url1 = https://www.owasp.org/index.php/Opa/Contributors
| links_name1 = List of Project Contributors

| links_url2 = http://opalang.org
| links_name2 = http://opalang.org

| links_url[3-10] =
| links_name[3-10] =

| release_1 =
| release_2 =
| release_3 =
| release_4 =

| project_about_page = Projects/Opa
}}

User:Adam Koprowski

2011-07-13T23:13:05Z

Adam Koprowski:

Adam Koprowski's main interests are functional programming and theorem proving. Having finished his PhD at the [http://www.tue.nl/en/ Eindhoven University of Technology] (topics: term rewriting, theorem proving) he continued as a postdoc researcher at the [http://www.ru.nl/english/ Radboud University Nijmegen].
Shortly afterwards he joined MLstate, where he's staying to this day working on [http://opalang.org Opa] -- a new technology stack for creating secure web applications.
For more detailed information, please see his public [http://www.linkedin.com/pub/adam-koprowski/2/438/b97 LinkedIn page].