Difference between revisions of "Ocaml"

From Free Software Directory
Jump to: navigation, search
(add software prerequisites)
(new entry, license check)
 
Line 8: Line 8:
 
{{Project license
 
{{Project license
 
|License=LGPL-2.1-or-later
 
|License=LGPL-2.1-or-later
|License copyright=All files marked "Copyright INRIA" in this distribution are Copyright © 1996-2023 Institut National de Recherche en Informatique et en Automatique (INRIA) and distributed under the conditions stated in file LICENSE.
+
|License copyright=Copyright 1996 - 2021 Institut National de Recherche en Informatique et
 +
Copyright 2013 - 2017 OCamlPro SAS
 +
Copyright 2014 - 2021 Jane Street Group LLC
 +
Copyright 2012 Benedikt Meurer.
 +
Copyright 2020 - 2021 David Allsopp Ltd.
 +
Copyright 2019 - 2020 University of Cambridge
 +
Copyright 2019 Indian Institute of Technology, Madras
 +
Copyright 2015 - 2019 MetaStack Solutions Ltd.
 +
Copyright 2011 Lehrstuhl für Compilerbau und Softwareanalyse,
 +
Copyright San Vu Ngoc, 2020
 +
Copyright (C) 2012 Free Software Foundation, Inc.
 +
Copyright 2021 OCaml Labs Consultancy Ltd
 +
Copyright 2020 Tarides
 +
Copyright 2019 MetaStack Solutions Ltd.
 +
Copyright 2019 Indian Institute of Technology, Madras
 +
Copyright 2017 Jeremy Yallop
 +
Copyright 2016 Stephen Dolan.
 +
Copyright 2015 Christophe Troestler
 +
and others...
 
|License verified by=mmzero
 
|License verified by=mmzero
 
|License verified date=2024-04-05
 
|License verified date=2024-04-05
Line 22: Line 40:
 
}}
 
}}
 
{{Software prerequisite
 
{{Software prerequisite
|Prerequisite kind=Required to build
 
 
|Prerequisite description=gcc
 
|Prerequisite description=gcc
 
}}
 
}}

Latest revision as of 15:33, 5 April 2024


[edit]

Ocaml

https://ocaml.org/
An industrial-strength functional programming language

An industrial-strength functional programming language with an emphasis on expressiveness and safety.





Licensing

License

Verified by

Verified on

Notes




Leaders and contributors

Resources and communication

Software prerequisites

KindDescription
Required to buildmake
gcc




Entry





"LGPL-2.1-or-later" is not in the list (ACEL, AFL-3.0, AGPL-1.0, AGPL-1.0-or-later, AGPL-3.0, AGPL-3.0-or-later, AGPL-3.0-or-later-with-exception, AGPL-3.0-with-exception, AGPLv1orlater, AGPLv3, ...) of allowed values for the "License" property.






"{{{Prerequisite kind}}}" is not in the list (Required to use, Required to build, Source requirement, Weak prerequisite) of allowed values for the "Prerequisite kind" property.




Property "Submitted by" (as page type) with input value "{{{Submitted by}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process. "{{{Submitted date}}}" contains an extrinsic dash or other characters that are invalid for a date interpretation.








Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the page “GNU Free Documentation License”.

The copyright and license notices on this page only apply to the text on this page. Any software or copyright-licenses or other similar notices described in this text has its own copyright notice and license, which can usually be found in the distribution or license text itself.