higher order reviews and downloads
Search results for «higher order»:
Showing 1 to 10 from 10 matches
|
Confluence System Design Language 0.10.4 Confluence is a language for synchronous reactive system design GPL (GNU General Public License) |
|
HOL-TestGen 1.2.0 HOL-TestGen allows one to write test specifications in Higher-order logics (HOL) GPL (GNU General Public License) |
|
HOL 3 HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented. Built- BSD License |
|
Isabelle 2005 Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich BSD License |
|
ExtUtils::ModuleMaker::StandardText 0.47 ExtUtils::ModuleMaker::StandardText are methods used within ExtUtils::ModuleMaker. The methods described below are 'quasi-private' Perl Artistic License |
|
Scheme Scribe 1.1a Scheme Scribe (Scribe hereafter) is a text processor GPL (GNU General Public License) |
|
Bio::DB::GFF::Feature 1.4 Bio::DB::GFF::Feature is a relative segment identified by a feature type. Bio::DB::GFF::Feature is a stretch of sequence that corr Perl Artistic License |
|
HOL-OCL 0.9.0 HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) GPL (GNU General Public License) |
|
Hop 1.4.0 Hop is a new programming language designed for the Web 2.0 GPL (GNU General Public License) |
|
Hugs 98 (March2005) Hugs 98 is a functional programming system based on Haskell 98, the de facto standard for non-strict functional programming languages BSD License |
Related: